Specification and analysis of concurrent systems the COSY approach
| Автор: | |
|---|---|
| Інші автори: | |
| Формат: | Книга |
| Мова: | Англійська |
| Опубліковано: |
Berlin
Springer-Verlag
c1992.
|
| Серія: | EATCS monographs on theoretical computer science
v.26 |
| Предмети: |