Верификация раскрашенных сетей Петри методом проверки моделей / В.Е. Козюра, В.А. Непомнящий, Р.М. Новиков
Язык: русский.Выходные данные: Новосибирск : ИСИ, 2001Физическая характеристика: 24 с. : ил. ; 20 см.Серия: Препринт ; 89Библиография: Библиогр.: с. 23-24.Предметная рубрика - Тема: Петри сети -- Программы -- Верификация Неконтролируемые предметные термины: Вычислительные сети с распределенными параметрами - Программы - Верификация | Петри сети УДК: 004.7, 3, rusДругие классификации: ( rugasnti ) 50 ; ( rubbk ) 32.973.202 ; З973.202-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2002-4/14858 (Просмотр полки(Открывается ниже)) | 1986 | Доступно | 380489 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2002-4/14858 (Просмотр полки(Открывается ниже)) | 1986 | Доступно | 380490 |
Библиогр.: с. 23-24