TY  - BOOK
AU  - Ануреев, И. С.
TI  - Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем
T2  - Препринт
VL  - № 165
PY  - 2012///
CY  - Новосибирск
PB  - Институт систем информатики им. А.П. Ершова СО РАН
KW  - Программы(компьют.)
KW  - Верификация
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661327565
KW  - Формальные языки
KW  - RU\NLR\AUTH\661312731
KW  - З973.2-018.1
KW  - З973.2-018-07
N2  - Библиогр.: с. 26-28 (27 назв.)
ER  -