Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools / И. С. Ануреев
Параллельное заглавие: : z11790Transition systems oriented to development of software systems specification and verification tools, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2012Физическая характеристика: 28 с. ; 21 см.Серия: Препринт ; № 165Примечания: Авт. также на англ. яз.: I.S. Anureev; Рез. на англ. яз..Библиография: Библиогр.: с. 26-28 (27 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация | Формальные языки Другие классификации: З973.2-018.1 ; З973.2-018-07 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: I.S. Anureev
Рез. на англ. яз.
Библиогр.: с. 26-28 (27 назв.)