Protocol specification, testing and verification, VI Proceedings of the IFIP WG 6.1 6th international workshop Montreal, Quebec, Canada, June 10-13 1986
Άλλοι συγγραφείς: | Bochmann, V. (Επιμελητής έκδοσης), Sarikaya, B. (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam
North-Holland
1987
|
Θέματα: |
Παρόμοια τεκμήρια
-
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, VIII Proceedings of the IFIP WG 6.1 8th International Symposium Atlantic City N.J. June 7-10 1988
Έκδοση: (1988) -
Network information processing systems Proceedings of the IFIP TC6/TC* Open Symposium Sofia, Bulgaria, 9-13 May, 1988
Έκδοση: (1989) -
Network interconnection and protocol conversion
Έκδοση: (1988) -
Design and validation of computer protocols
ανά: Holzmann, Gerard J.
Έκδοση: (1991)