Formal description techniques, II : Proceedings of the IFIP TC/WG 6.1 Second International conference on Formal description techniques for distributed systems and communications protocols, FORTE '89, Vancouver, Canada, 5-8 December, 1989 /
Автор-организации: | IFIP TC/WG 6.1 International conference on Formal description techniques for distributed systems and communications protocols, FORTE '89 Vancouver, Canada |
---|---|
Други автори: | Vuong, Son T. |
Формат: | Книга |
Език: | English |
Публикувано: |
Amsterdam :
North-Holland,
1990.
|
Предмети: |
Налични ЦБ-БАН | Сигнатура: |
BBlSd-23 |
---|