TY  - BOOK
AU  - Оленев, В. Л.
AU  - Чумакова, Н. Ю.
TI  - Спецификация и верификация систем и сетей
PY  - 2023///
CY  - Санкт-Петербург
PB  - ГУАП
KW  - Программы(компьют.)
KW  - Верификация
KW  - Учебно-методические пособия для высших учебных заведений
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661327565
KW  - Технические требования
KW  - RU\NLR\AUTH\661581015
KW  - SPIN, система программирования
KW  - RU\NLR\AUTH\661544586
KW  - NUXMV, система программирования
KW  - RU\NLR\AUTH\6601737404
KW  - 004.45(075.8)
KW  - 4
KW  - 32.973.11я73
KW  - rubbks
KW  - З973.2-018я73-1
N2  - Библиогр.: с. 83 (9 назв.)
ER  -