LEADER 01532nam--2200385---450-
001 990003069460203316
005 20080410121235.0
010   $a3-540-34304-0
035   $a000306946
035   $aUSA01000306946
035   $a(ALEPH)000306946USA01
035   $a000306946
100   $a20080225d2006----km-y0itay50------ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFormal Methods for Hardware Verification$e6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006$eBertinoro, Italy, May 22-27, 2006$eAdvanced Lectures$fMarco Bernardo, Alessandro Cimatti (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aVI, 242 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$iTutorial$v3965
410  0$12001$aLecture Notes in Computer Science$v3965
606 0 $aArchitettura degli elaboratori$xCongressi$yBertinoro$z2006
676   $a621.392
702  1$aBERNARDO,$bMarco
702  1$aCIMATTI,$bAlessandro
710 02$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006$d<6;$f2006$eBertinoro;>$0600308
801  0$aIT$bsalbc$gISBD
912   $a990003069460203316
951   $a001 LNCS 3965$b33830/CBS$c001$d00217031
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080225$lUSA01$h1218
979   $aANGELA$b90$c20080410$lUSA01$h1212
996   $aFormal Methods for Hardware Verification$91023108
997   $aUNISA