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

LEADER 00704nam0-22002531i-450-
001 990001140790403321
035   $a000114079
035   $aFED01000114079
035   $a(Aleph)000114079FED01
035   $a000114079
100   $a20000920d1971----km-y0itay50------ba
101  1$aeng
200 1 $aContemporary readings in logical theory$fb by Copi-Gould
210   $aNew York [etc.]$cMacmillan$d1971
700  1$aCopi,$bIrving M.$032722
702  1$aGould,$bJames A.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001140790403321
952   $a10-M-6$b14416$fMA1
959   $aMA1
996   $aContemporary readings in logical theory$9344199
997   $aUNINA
DB    $aING01