LEADER 02099oam  2200541zu 450 
001 996204380203316
005 20210807003055.0
010   $a1-5090-7875-4
010   $a1-4244-2736-3
035   $a(CKB)1000000000710562
035   $a(SSID)ssj0000558321
035   $a(PQKBManifestationID)12250518
035   $a(PQKBTitleCode)TC0000558321
035   $a(PQKBWorkID)10559341
035   $a(PQKB)11711893
035   $a(EXLCZ)991000000000710562
100   $a20160829d2008      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
210 31$a[Place of publication not identified]$cIEEE$d2008
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4244-2735-5 
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.39/2
702   $aCimatti$b Alessandro
702   $aJones$b Robert B
712 12$aFMCAD 2008
801  0$bPQKB
906   $aPROCEEDING
912   $a996204380203316
996   $aFormal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings$92519784
997   $aUNISA