LEADER 01382nam--2200373---45--
001 990002963890203316
005 20070817123745.0
010   $a3-540-29105-9
035   $a000296389
035   $aUSA01000296389
035   $a(ALEPH)000296389USA01
035   $a000296389
100   $a20070817d2005----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aCorrect hardware design and verification methods$e13th IFIP WG 10.5 advanced research working conference, CHARME 2005$eSaarbrucken, Germany, October 3-6, 2005$eproceedings$fDominique Borrione, Wolfgang Paul(Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXII, 412 p.$cill.$d24 cm
225   $aLecture notes in computer science$v3725
315   $aaltro genere
410   $12001$aLecture notes in computer science$v3725
606 1 $aHardware$xArchitettura$xCongressi$ySaarbrucken$a2005
676   $a621.39
702  1$aBORRIONE,$bDominique
702  1$aPAUL,$bWolfgang
710 12$aIFIP WG 10.5 advanced research working conferenc CHARME$d<13. ;$f2005 ;$eSaarbrucken>$0597942
801  0$aITA$bCBS$gISBD
912   $a990002963890203316
951   $a001 LNCS 3725$b32444/CBS$c001$d00112761
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070817$lUSA01$h1237
996   $aCorrect hardware design and verification methods$91026683
997   $aUNISA