Design and validation of computer protocols
Κύριος συγγραφέας: | Holzmann, Gerard J. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London New Jersey
Prentice-Hall AT&T Bell Telephone Laboratories, Inc.
c1991 c1991
|
Θέματα: |
Παρόμοια τεκμήρια
-
Network interconnection and protocol conversion
Έκδοση: (1988) -
Performance analysis of multiple access protocols
ανά: Tasaka, Shuji
Έκδοση: (1986) -
Communications architecture for distributed systems
ανά: Cypser, R. J.
Έκδοση: (1978) -
Protocol specification, testing, and verification, VII Proceedings of the IFIP WG 6.1 7th Int. Conference Zurich, Switzerland, 5-8 May, 1987
Έκδοση: (1987) -
Protocol specification, testing and verification, VI Proceedings of the IFIP WG 6.1 6th international workshop Montreal, Quebec, Canada, June 10-13 1986
Έκδοση: (1987)