LEADER 01198nam0-22003131i-450-
001 990000455140403321
005 20090219120722.0
010   $a0-444-86769-4
035   $a000045514
035   $aFED01000045514
035   $a(Aleph)000045514FED01
035   $a000045514
100   $a20020821d1983----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aProtocol specification, testing, and verification, III$eproceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983$fedited by Harry Rudin, Colin H. West
210   $aAmsterdam$cNorth-Holland$d1983
215   $a531 p.$cill.$d24 cm
610 0 $aProtocolli per reti di computer$aCongressi
676   $a004.62
702  1$aRudin,$bHarry
702  1$aWest,$bColin H.
710 12$aIFIP WG 6.1 International workshop on protocol specification, testing, and verification$d<3. ;$f1983 ;$eRuschilkon, Switzerland>
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000455140403321
952   $a10 PRO 203$b520 DIS$fDINEL
959   $aDINEL
997   $aUNINA