LEADER 01219nam0-22003131i-450-
001 990000455240403321
005 20090223153142.0
010   $a0-444-87881-5
035   $a000045524
035   $aFED01000045524
035   $a(Aleph)000045524FED01
035   $a000045524
100   $a20020821d1986----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aProtocol specification, testing, and verification, V$eproceedings 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$fedited by Michel Diaz
210   $aAmsterdan$cNorth-Holland$d1986
215   $a544 p.$cill.$d24 cm
610 0 $aProtocolli per reti di computer$aCongressi
676   $a004.62
702  1$aDiaz,$bMichel
710 12$aIFIP WG 6.1 International workshop on protocol specification, testing, and verification$d<5. ;$f1985 ;$eToulouse, France>$0491236
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000455240403321
952   $a10 PRO 268$b595 DIS$fDINEL
959   $aDINEL
996   $aProtocol specification, testing, and verification, V$9334326
997   $aUNINA