|
|
|
|
| LEADER |
00948nam a2200205 a 4500 |
| 001 |
715818 |
| 005 |
20171111231054.0 |
| 008 |
980703s1982----gr gr 000 0 Eng d |
| 020 |
|
|
|a 0444864814
|
| 040 |
|
|
|a GR-AtNTU
|b gre
|
| 082 |
|
0 |
|a 004.62 PRO
|
| 245 |
1 |
0 |
|a Protocol specification, testing, and verification :
|b proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 May, 1982 /
|c edited by Carl Sunshine
|
| 260 |
|
|
|a Amsterdam:
|b North-Holland Pub. Co.,
|c 1982
|
| 300 |
|
|
|a ix, 572 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
1 |
0 |
|a Computer network protocols
|
| 700 |
1 |
|
|a Sunshine, Carl
|
| 710 |
2 |
|
|a USC/ISI
|
| 711 |
2 |
|
|a IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc22656c5ad13446f8cec4
|c 998a
|d 945l
|e 004.62 PRO
|t 1
|x m
|z Books
|
