TY  - BOOK
AU  - Чурина, Т.Г.
AU  - Аргиров, В.С.
TI  - Моделирование спецификаций языка SDL с помощью модификационных ИВТ-сетей
T2  - Препринт
VL  - 124
PY  - 2005///
CY  - Новосибирск
PB  - Ин-т систем информатики им. А. П. Ершова СО РАН
KW  - SDL, язык программирования
KW  - RU\NLR\auth\66128130
KW  - Петри сети
KW  - RU\NLR\auth\661262606
KW  - Вычислительная техника -- Вычислительные машины электронные цифровые -- Языки программирования -- SDL
KW  - З973.2-018.19SDL,0
KW  - rubbk
KW  - З973.202-018.1
N2  - Библиогр.: с. 60-62 (22 назв.)
ER  -