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