Полное описание

Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри / В.А.Непомнящий,Г.И.Алексеев,А.В.Быстров и др.;Под ред.В.А.Непомнящего, Н.В.Шилова. - Новосибирск : [б. и.], 1998. - 139 с. : ил. - 100 экз. - Текст : непосредственный.
В надзаг.:Рос.АН, Сиб.отд-ние, Ин-т систем информатики им.А.П.Ершова.Библиогр.:с.136-137 (32 назв.)

ГРНТИ	УДК
50.05.13	004.415.5

Рубрики:
Программы для ЭВМ -- Верификация

Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММА -- ЭВМ
Доп. точки доступа:
Непомнящий, В.А.
Алексеев, Г.И.
Быстров, А.В.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-98/43994)

Шифр в сводном ЭК: 39979cf7c3dce810044b95126c3d5ede

Заказать издание
Заказ фрагмента документа ₽