LEADER 02044oam  2200541zu 450 
001 996211054303316
005 20210807002627.0
010   $a1-5090-8632-3
035   $a(CKB)1000000000331682
035   $a(SSID)ssj0000394766
035   $a(PQKBManifestationID)12107832
035   $a(PQKBTitleCode)TC0000394766
035   $a(PQKBWorkID)10425394
035   $a(PQKB)10088641
035   $a(EXLCZ)991000000000331682
100   $a20160829d2007      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2007
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-3023-0 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$xDesign and construction$xMathematics$vCongresses
606   $aDigital integrated circuits$vCongresses
606   $aElectrical & Computer Engineering$2HILCC
606   $aElectrical Engineering$2HILCC
606   $aEngineering & Applied Sciences$2HILCC
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)$xDesign and construction$xMathematics
615  0$aDigital integrated circuits
615  7$aElectrical & Computer Engineering
615  7$aElectrical Engineering
615  7$aEngineering & Applied Sciences
676   $a621.3815
702   $aBaumgartner$b Jason
702   $aSheeran$b Mary
712 02$aIEEE Computer Society
712 12$aFMCAD  2007
801  0$bPQKB
906   $aPROCEEDING
912   $a996211054303316
996   $aFormal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas$92388533
997   $aUNISA