Specification, Verification, and Net Models of Concurrent Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Колл. автор:

ИСИ СО РАН

Вид:

Сборник или журнал

Год:

1994

Ключевые слова:

сети петри

спецификация

верификация

параллельный

Стр.:

195 p.

Редактор:

Nepomniaschy V. A.

Место издания:

Карточка:

Б1.4, Б2.42.

Specification, Verification, and Net Models of Concurrent Systems/ИСИ СО РАН. Ed. by Nepomniaschy V. A..-Novosibirsk., 1994.-195 p.

Таблица в старой библиотеке:

MONO1 935