Статичен анализ, симулация и верификация на estelle спецификации на комуникационни протоколи : Дис. /
| Основен автор: | Божанова, Ирена Василева |
|---|---|
| Формат: | Книга |
| Език: | Bulgarian |
| Публикувано: |
София :
СУ Климент Охридски,
1991.
|
| Предмети: |
| Налични ЦБ-БАН | Сигнатура: |
DS-435-1992 |
|---|