Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл: 
- Название:
- Чурина, Татьяна Геннадьевна. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
- Краткое описание:
- Чурина, Татьяна Геннадьевна. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : диссертация ... кандидата физико-математических наук : 05.13.11.- Новосибирск, 2000.- 141 с.: ил. РГБ ОД, 61 01-1/330-4
- Стоимость доставки:
- 230.00 руб