LEADER 00703nam0-2200241 --450 001 9910469860503321 005 20230608094934.0 100 $a20210505d19301961kmuy0itay5050 ba 101 0 $aspa 102 $aES 105 $a 001yy 200 1 $aGeneral estoria$fAlfonso el Sabio 210 $aMadrid$cInstituto Miguel de Cervantes$d1930-1961 215 $a3 volumi$d26 cm 700 0$aAlfonso X$c$0437110 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910469860503321 952 $aPX AL 15 (1)$bFil. Mod. 10900$fFLFBC 952 $aPX AL 15 (2)$bFil. Mod. 10900$fFLFBC 959 $aFLFBC 996 $aGeneral estoria$91773261 997 $aUNINA LEADER 02134oam 2200541zu 450 001 9910142678403321 005 20241212215416.0 010 $a9781509091843 010 $a150909184X 035 $a(CKB)1000000000330940 035 $a(SSID)ssj0000394765 035 $a(PQKBManifestationID)12164180 035 $a(PQKBTitleCode)TC0000394765 035 $a(PQKBWorkID)10450244 035 $a(PQKB)11569903 035 $a(EXLCZ)991000000000330940 100 $a20160829d2006 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA 210 31$a[Place of publication not identified]$cIEEE Computer Society$d2006 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769527079 311 08$a0769527078 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.3815 712 02$aIEEE Computer Society 712 12$aFMCAD '06 801 0$bPQKB 906 $aPROCEEDING 912 $a9910142678403321 996 $aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA$92362588 997 $aUNINA