Полное описание
> Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри / В.А.Непомнящий,Г.И.Алексеев,А.В.Быстров и др.;Под ред.В.А.Непомнящего, Н.В.Шилова. - Новосибирск : [б. и.], 1998. - 139 с. : ил. - 100 экз. - Текст : непосредственный.
В надзаг.:Рос.АН, Сиб.отд-ние, Ин-т систем информатики им.А.П.Ершова.Библиогр.:с.136-137 (32 назв.)
ГРНТИ | УДК | |
50.05.13 | 004.415.5 |
Рубрики:
Программы для ЭВМ -- Верификация
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММА -- ЭВМ
Доп. точки доступа:
Непомнящий, В.А.
Алексеев, Г.И.
Быстров, А.В.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-98/43994)>
Шифр в сводном ЭК: 39979cf7c3dce810044b95126c3d5ede
Заказ фрагмента документа ₽