TY  - BOOK
AU  - Кузьмин, Е. В.
TI  - Верификация моделей программ
SN  - 978-5-8397-0599-9
PY  - 2008///
CY  - Ярославль
PB  - Ярославский государственный университет
KW  - Программы(компьют.)
KW  - Верификация
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\auth\661327565
KW  - З973.2-018-07я73-1
N2  - Библиогр.: с. 173-174 (25 назв.)
ER  -