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