|
Книга ID: 554694
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verification of Estelle specifications of distributed systems using coloured Petri nets В. А. Непомнящий, Г. И. Алексеев, А. В. Быстров и др.; Под ред. В. А. Непомнящего и Н. В. Шилова; РАН. Сиб. отд-ние. Ин-т систем информатики им. А. П. Ершова
Тематика, ключевые слова:
Вычислительные машины электронные цифровые -- Программирование -- Автоматизация.
Estelle.
Сведения об издании:
Новосибирск 1998
139 с. 21 см
Язык:
rus
|
|
