|
| Д | | 14100 | Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : Дис. ... канд. фізико-матем. наук: 01.05.03- математичне та програмне забезпечення обчислювальних машин і систем / Панченко Т.В.; КНУТШ. — Київ, 2006. — 177 л. + Додатки: л. 156-161. | |
| | |
|
