Российская национальная библиография

ГлавнаяО проектеКнижная память России Расширенный поиск
Описание RUSMARC Карточка

Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем

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

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru