LEADER 01459nam--2200385---450 
001 990000948630203316
005 20180312154730.0
010   $a3-540-42541-1
035   $a0094863
035   $aUSA010094863
035   $a(ALEPH)000094863USA01
035   $a0094863
100   $a20020206d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aCorrect hardware design and verification methods$e11th IFIP WG 10.5 advanced research working conference, CHARME 2001$eLivingston, Scotland, UK, September 4-7, 2001$eproceedings$fTiziana Margaria ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aXII, 482 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2144
410   $12001$aLecture notes in computer science$v2144
610 1 $aHardware$aArchitettura$aCongressi$a2001
610 1 $aHardware$aVerifica$aCongressi$a2001
676   $a62.139
702  1$aMargaria,$bTiziana
710 12$aIFIP WG 10.5 advanced research working conferenc CHARME <1. ; 2001 ; Livingston, Scotland, UK>$0552448
801  0$aITA$bCBS$gISBD
912   $a990000948630203316
951   $a001 LNCS (2144)$b0027199 CBS$c001$d00110933
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020206$lUSA01$h1211
979   $c20020403$lUSA01$h1737
979   $aPATRY$b90$c20040406$lUSA01$h1705
996   $aCorrect hardware design and verification methods$9973993
997   $aUNISA