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