Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / В.Е.Козюра

Сохранено в:
Шифр документа: 2АД140966,
Вид документа: Авторефераты диссертаций
Автор: Козюра, В. Е.
Опубликовано: Новосибирск , 2004
Физические характеристики: 18 с.
Язык: Русский
Предмет:

ОФХ отдела книгохранения

Всего : 1 , доступно: 1 Доступно  Заказать

Информация об экземплярах

Шифр Фонд Место нахождения Статус экземпляра Читальный зал
2АД140966 ОФХ отдела книгохранения (039) 11:4:2:80 СВОБОДЕН Рекомендованный ЧитЗал