LEADER 01404oam  2200445zu 450 
001 9910140988503321
005 20241212220110.0
010   $a9780983567806
010   $a0983567808
035   $a(CKB)2670000000089057
035   $a(SSID)ssj0000608381
035   $a(PQKBManifestationID)12272588
035   $a(PQKBTitleCode)TC0000608381
035   $a(PQKBWorkID)10591627
035   $a(PQKB)11055482
035   $a(NjHacI)992670000000089057
035   $a(EXLCZ)992670000000089057
100   $a20160829d2010      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2010 Formal Methods in Computer-Aided Design
210 31$a[Place of publication not identified]$cIEEE$d2010
215   $a1 online resource (vii, 279 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781457707346 
311 08$a1457707349 
606   $aFormal methods (Computer science)$vCongresses
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
615  0$aFormal methods (Computer science)
615  0$aDigital integrated circuits$xComputer-aided design
676   $a004.0151
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910140988503321
996   $a2010 Formal Methods in Computer-Aided Design$92546678
997   $aUNINA