01404oam 2200445zu 450 991014098850332120241212220110.097809835678060983567808(CKB)2670000000089057(SSID)ssj0000608381(PQKBManifestationID)12272588(PQKBTitleCode)TC0000608381(PQKBWorkID)10591627(PQKB)11055482(NjHacI)992670000000089057(EXLCZ)99267000000008905720160829d2010 uy engur|||||||||||txtccr2010 Formal Methods in Computer-Aided Design[Place of publication not identified]IEEE20101 online resource (vii, 279 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9781457707346 1457707349 Formal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designCongressesFormal methods (Computer science)Digital integrated circuitsComputer-aided design004.0151IEEE StaffPQKBPROCEEDING99101409885033212010 Formal Methods in Computer-Aided Design2546678UNINA