Опис документа:
| |
Шифр: |
А |
Авт. знак: |
145968 |
Автор: | Панченко Т.В. |
Назва: | Композиційні методи специфікації та верифікації програмних систем |
Від. щодо назв.: |
Автореф. дис. ...канд. фіз.-мат.наук: Спец.01.05.03 |
Відповідальність: |
Тарас Володимирович Панченко; КНУТШ |
Місто: | Київ |
Рік: | 2006 |
Сторінок: | 17с. |
ББК: |
З973.2-018 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|