Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
П
программа автоматная
Документи:
Кузьмин, Е. В.
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Е. В. Кузьмин // Программирование. – 2008. – № 1. – С. 61-77.
Разработка программной системы для генерации автоматных программ [Текст] / Т. Э. Шульга, Е. А. Иванов, М. Д. Сластихина, М. С. Вагарина // Программирование. – 2016. – № 3. – С. 55-63.
Інформаційно-пошукова система
'УФД/Бібліотека'