Вы здесь
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня
Количество экземпляров:
1
Вид:
Автореферат
Год:
2000
Ключевые слова:
Стр.:
18 с.
Библиография:
Библиогр.: c.17-18
Место защиты:
Номер специальности:
05.13.11
Карточка:
Б2.42, Б3.55.
Чурина Т. Г..
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2000.-18 с.
Библиогр.: c.17-18
Таблица в старой библиотеке:
DAR1MP 371