|
|
|
|
LEADER |
00907nam a2200193 a 4500 |
001 |
716096 |
005 |
20171111231054.0 |
008 |
980619s1986----gr gr 000 0 Eng d |
020 |
|
|
|a 0444878815
|
040 |
|
|
|a GR-AtNTU
|b gre
|
082 |
|
0 |
|a 004.62 PRO
|
245 |
1 |
0 |
|a Protocol specification, testing, and verification, V :
|b proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS Toulouse-Moissac, France, June 10-13, 1985 /
|c edited by Michel Diaz
|
260 |
|
|
|a Amsterdam:
|b North-Holland,
|c 1986
|
300 |
|
|
|a xi, 544 p. :
|b ill. ;
|c 23 cm.
|
504 |
|
|
|a Includes bibliographical references.
|
650 |
1 |
0 |
|a Computer network protocols
|
700 |
1 |
|
|a Diaz, Michel
|
711 |
2 |
|
|a IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
|
952 |
|
|
|a GR-AtNTU
|b 59cc226c6c5ad13446f8cfeb
|c 998a
|d 945l
|e 004.62 PRO
|t 1
|x m
|z Books
|