TY  - BOOK
AU  - Вельдер, С. Э.
AU  - Лукин, М. А.
AU  - Шалыто, А. А.
AU  - Яминов, Б. Р.
TI  - Верификация автоматных программ
SN  - 978-5-02-038160-5
PY  - 2011///
CY  - Санкт-Петербург
PB  - Наука
KW  - Программы(компьют.)
KW  - Верификация
KW  - nlr_sh2
KW  - RU\NLR\auth\661327565
KW  - З973.2-018-07
N2  - Библиогр.: с. 231-239 (99 назв.); Алф. указ.: с. 240-242
ER  -