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 Design2546678UNINA01968nam0-22005411i-450 99000444215040332120251001090705.0000444215FED01000444215(Aleph)000444215FED0119990530g18871891km-y0itay50------baitay-------001yyHistoria general De Espanadesde los tiempos primitivos hasta la muerte de Ferdinando VIIIDon Modesto Lafuentecontinuada desde dicha epoca hasta nuestros dias por Don Juan Valeracon colaboracion de D. Andres Borrego, D. Antonio PiralalaBarcelonaMontaner Y Simon1887- 189125 v.20 cmLafuente,Modesto177024Borrego,D. AndresPirala ,D. AntonioValera,Juan<1824-1905>ITUNINARICAUNIMARCBK9900044421504033217/IV A 25bibl.18727FLFBC7/IV A 12bibl.18727FLFBC7/IV A 11bibl.18727FLFBC7/IV A 10bibl.18727FLFBC7/IV A 09bibl.18727FLFBC7/IV A 08bibl.18727FLFBC7/IV A 07bibl.18727FLFBC7/IV A 06bibl.18727FLFBC7/IV A 13bibl.18727FLFBC7/IV A 01bibl.18727FLFBC7/IV A 03bibl.18727FLFBC7/IV A 04bibl.18727FLFBC7/IV A 23bibl.18727FLFBC7/IV A 16bibl.18727FLFBC7/IV A 17bibl.18727FLFBC7/IV A 18bibl.18727FLFBC7/IV A 19bibl.18727FLFBC7/IV A 20bibl.18727FLFBC7/IV A 21bibl.18727FLFBC7/IV A 22bibl.18727FLFBC7/IV A 24bibl.18727FLFBC7/IV A 14bibl.18727FLFBCFLFBCHistoria general De Espana543574UNINA