TY  - BOOK
AU  - Промский, А. В.
TI  - Применение трехуровневого подхода к верификации программ на языке С#-LIGHT
T2  - Препринт
VL  - 139
PY  - 2006///
CY  - Новосибирск
PB  - Институт систем информатики
KW  - Программы (компьют.)
KW  - Верификация
KW  - RU\NLR\auth\661327565
KW  - C#, язык программирования
KW  - RU\NLR\auth\661325801
KW  - Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Объектно-ориентированное программирование -- Автоматизация. Верификация программ -- Пособие для специалистов
KW  - язык программирования C Light
KW  - З973.2-018.2-5-05,0
KW  - rubbk
KW  - З973.2-018-07
N2  - Библиогр.: с. 54-55 (29 назв.)
ER  -