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