Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX.99 /
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Nueva York, EUA :
Springer,
1999, c1999
|
| Serier: | (IFIP Advances in Information and Communication Technology)
|
| Online adgang: | Ver documento en línea |