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

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

ГРНТИ	УДК
50.05.13	004.415.5

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

Кл.слова (ненормированные): программа -- эвм -- верификация
Доп. точки доступа:
Непомнящий, В.А.
Алексеев, Г.И.
Быстров, А.В.

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказаны экз-ры для отделов: ХР

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