Информация об авторе
Tugashev, A. A.
| Выпуск | Раздел | Название | Файл |
| Том 6, № 1 (2007) | КИБЕРНЕТИКА И ИНФОРМАТИКА | Автоматизированная спецификация, верификация и синтез управляющих программ на основе логического и алгебраического подходов |
 (Rus) |