Створення програм за допомогою ієрархічої автоматної моделі

Вантажиться...
Ескіз

Дата

2012

Науковий керівник

Назва журналу

Номер ISSN

Назва тому

Видавець

Век+

Анотація

Опис

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

верифікація, ієрархічна модель, кінцеві автомати, стек

Бібліографічний опис

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

DOI