Опис документа:
| |
Шифр: |
А |
Авт. знак: |
149309 |
Автор: | Сирота О.П. |
Назва: | Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації |
Від. щодо назв.: |
автореф. ... канд. техн. наук : 05.13.06 |
Відповідальність: |
Сирота О.П. ; Нац. техн. ун-т України "Київ. політехн. ін-т" |
Місто: | Київ |
Рік: | 2009 |
Сторінок: | 20 с. |
ББК: |
З973.233-02 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|