Установление критериев верификации (корректности) алгоритмов и программ методами теории автоматов компьютерные науки 04… — Електронна бібліотека НУ «Запорізька політехніка»

•

Бенидзе Н.
Установление критериев верификации (корректности) алгоритмов и программ методами теории автоматов
компьютерные науки 04.01.04 : автореферат науч. работы, представл. на соискание академич. стерени доктора информатики

УДК: 004.4
Авторський знак: Б46
Автори: Бенидзе Н.
Рік видання: 2012
Видавництво: Грузинский ун-т им. Св. Андрея Первозванного при Патриархии Грузии / Тбилиси
Обсяг: 22 с.
Вид документа: Автореферат дисертації

Науковий напрямок: КОМП'ЮТЕРНІ НАУКИ

Ключові слова:

верифікація, верификация, програмне забезпечення, программное обеспечение, комп'ютерні програми, компьютерные программы, алгоритми, алгоритмы

Файл документа доступний читачам бібліотеки: увійдіть або зареєструйтесь.