Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл:
- Название:
- Козюра Виталий Ефимович. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
- ВУЗ:
- Институт систем информатики Сибирского отделения РАН
- Краткое описание:
- Козюра Виталий Ефимович. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : диссертация ... кандидата физико-математических наук : 05.13.11 / Козюра Виталий Ефимович; [Место защиты: Институт систем информатики Сибирского отделения РАН].- Новосибирск, 2004.- 89 с.: ил.
- Стоимость доставки:
- 230.00 руб