TY  - BOOK
AU  - Миронов, А. М.
TI  - Верификация программ
PY  - 2017///
CY  - Москва
PB  - МАКС Пресс
KW  - Программы(компьют.)
KW  - Верификация
KW  - Учебно-методические пособия
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661327565
KW  - З973.2-018-07я7
ER  -