LEADER 02685nam  2200613 a 450 
001 9910768476203321
005 20200520144314.0
010   $a3-540-34305-9
024 7 $a10.1007/11757283
035   $a(CKB)1000000000283846
035   $a(SSID)ssj0000317715
035   $a(PQKBManifestationID)11253566
035   $a(PQKBTitleCode)TC0000317715
035   $a(PQKBWorkID)10295124
035   $a(PQKB)11166515
035   $a(DE-He213)978-3-540-34305-9
035   $a(MiAaPQ)EBC3068265
035   $a(PPN)123134897
035   $a(EXLCZ)991000000000283846
100   $a20060410d2006      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for hardware verification $e6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /$fMarco Bernardo, Alessandro Cimatti (eds.)
205   $a1st ed. 2006.
210   $aBerlin ;$aNew York $cSpringer$dc2006
215   $a1 online resource (VIII, 244 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3965
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-34304-0 
320   $aIncludes bibliographical references and index.
327   $aHardware Design and Simulation for Verification -- Automatic Test Pattern Generation -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving.
410  0$aLecture notes in computer science ;$v3965.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aSFM 2006
517 3 $aHardware verification
606   $aFormal methods (Computer science)$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
615  0$aFormal methods (Computer science)
615  0$aIntegrated circuits$xVerification
676   $a004.01/51
701   $aCimatti$b Alessandro$01429402
701   $aBernardo$b Marco$01754236
712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910768476203321
996   $aFormal methods for hardware verification$94198571
997   $aUNINA