TY  - BOOK
AU  - Ануреев, И. С.
TI  - Концептуальный базис трехуровневого метода верификации С# программ
T2  - Препринт
VL  - 170
PY  - 2013///
CY  - Новосибирск
PB  - Ин-т систем информатики
KW  - C#, язык программирования
KW  - RU\NLR\AUTH\661325801
KW  - Программы (компьют.)
KW  - Верификация
KW  - RU\NLR\AUTH\661327565
KW  - 004.438
KW  - З973.2-018-07
KW  - З973.23-018.1
N2  - Библиогр.: с. 42 (9 назв.)
ER  -