TY  - BOOK
AU  - Камкин, А. С.
TI  - Введение в формальные методы верификации программ
SN  - 9785317057671
PY  - 2018///
CY  - Москва
PB  - МАКС Пресс
KW  - Программы(компьют.)
KW  - Верификация
KW  - Учебные издания
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661327565
KW  - Формальные языки
KW  - RU\NLR\AUTH\661312731
KW  - З973.2-018я73-1
KW  - rubbk
KW  - З973.2-018.1я7
KW  - З973.2-018-07я7
N2  - Библиогр.: с. 263-269
ER  -