Верификация автоматных программ / С.Э. Вельдер, М.А. Лукин, А.А. Шалыто, Б.Р. Ямнов ; М-во образования и науки Рос. Федерации, С.-Петерб. гос. ун-т информ. технологий, механики и оптики
Язык: русский.Выходные данные: Санкт-Петербург : Наука, 2011Физическая характеристика: 242, [1] с. ; 23 см.ISBN: 9785020381605 Библиография: Библиогр.: с. 231-239 (99 назв.); Алф. указ.: с. 240-242.Предметная рубрика - Тема: Программы(компьют.) -- Верификация Другие классификации: З973.2-018-07 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр.: с. 231-239 (99 назв.)
Алф. указ.: с. 240-242