Вычислительные системы: Сборник научных трудов/ Вып. 152, Теория вычислений и языки спецификаций

Библиографическая информация
Формат:	Книга
Язык:	Russian
Публикация:	Новосибирск 1995
Предметы:	теория вычислений языки спецификаций программирование семантическое программирование прикладная логика программная логика ресурсная динамическая логика RDL S-программы языки действий естественные языки СИГМА-Т3 теория алгоритмов вычислительные системы
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы