TY  - BOOK
AU  - Шилов, Н. В.
TI  - Основы синтаксиса, семантики, трансляции и верификации программ
SN  - 978-5-94356-707-0
PY  - 2011///
CY  - Новосибирск
PB  - РИЦ НГУ
KW  - Языки программирования
KW  - Грамматика
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\auth\661259116
KW  - Семантика
KW  - RU\NLR\auth\661307210
KW  - Программы(компьют.)
KW  - Верификация
KW  - RU\NLR\auth\661327565
KW  - З973.2-018.1я73-1
KW  - З973.2-018-07я73-1
N2  - Библиогр. в подстроч. примеч. (144 назв.)
ER  -