LEADER 02134oam  2200541zu 450 
001 9910142678403321
005 20241212215416.0
010   $a9781509091843
010   $a150909184X
035   $a(CKB)1000000000330940
035   $a(SSID)ssj0000394765
035   $a(PQKBManifestationID)12164180
035   $a(PQKBTitleCode)TC0000394765
035   $a(PQKBWorkID)10450244
035   $a(PQKB)11569903
035   $a(EXLCZ)991000000000330940
100   $a20160829d2006      uy 
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2006
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769527079 
311 08$a0769527078 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$xMathematics$xDesign and construction$vCongresses
606   $aDigital integrated circuits$vCongresses
606   $aElectrical & Computer Engineering$2HILCC
606   $aEngineering & Applied Sciences$2HILCC
606   $aElectrical Engineering$2HILCC
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)$xMathematics$xDesign and construction
615  0$aDigital integrated circuits
615  7$aElectrical & Computer Engineering
615  7$aEngineering & Applied Sciences
615  7$aElectrical Engineering
676   $a621.3815
712 02$aIEEE Computer Society
712 12$aFMCAD '06
801  0$bPQKB
906   $aPROCEEDING
912   $a9910142678403321
996   $aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA$92362588
997   $aUNINA