LEADER 01343nam0-22003371i-450-
001 990000455880403321
005 20090618104504.0
010   $a0-444-87676-6
035   $a000045588
035   $aFED01000045588
035   $a(Aleph)000045588FED01
035   $a000045588
100   $a20020821d1985----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aProtocol specification, testing, and verification, IV$eproceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984$fedited by Yechiam Yemini, Robert Strom, Shaula Yemini
210   $aAmsterdam$cNorth-Holland$d1985
215   $a720 p.$cill.$d24 cm
610 0 $aProtocolli per reti di computer$aCongressi
676   $a004.62
702  1$aYemini,$bYechiam
702  1$aStrom,$bRobert
702  1$aYemini,$bShaula
710 12$aIFIP WG 6.1 International workshop on protocol specification, testing, and verification$d<4. ;$f1984 ;$eSkytop Lodge, Pennsylvania>$0491258
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000455880403321
952   $a10 PRO 538$b411 DIS$fDINEL
959   $aDINEL
996   $aProtocol specification, testing, and verification, IV$9334478
997   $aUNINA