LEADER 01217nam0-22003131i-450-
001 990000460030403321
005 20090219095302.0
010   $a0-444-86481-4
035   $a000046003
035   $aFED01000046003
035   $a(Aleph)000046003FED01
035   $a000046003
100   $a20020821d1982----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aProtocol specification, testing, and verification$eproceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982$fedited by Carl Sunshine
210   $aAmsterdam$cNorth-Holland$d1982
215   $a572 p.$cill.$d23 cm
610 0 $aProtocolli per reti di computer$aCongressi
676   $a004.62
702  1$aSunshine,$bCarl
710 12$aIFIP WG 6.1 International workshop on protocl specification, testing, and verification$d<2. ;$f1982 ;$eIdyllwild, California>$0491327
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000460030403321
952   $a10 PRO 188$b1848 CCE$fDINEL
959   $aDINEL
996   $aProtocol specification, testing, and verification$9334695
997   $aUNINA