Створення програм за допомогою ієрархічої автоматної моделі
Вантажиться...
Дата
2012
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Век+
Анотація
Опис
Ключові слова
верифікація, ієрархічна модель, кінцеві автомати, стек
Бібліографічний опис
Салапатов В. І. Створення програм за допомогою ієрархічої автоматної моделі / В. І. Салапатов // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2012. – № 57. – С. 87–90. – Бібліогр.: 3 назв.