LEADER 01122nam--2200373---450-
001 990001629770203316
005 20110328155827.0
010   $a978-84-9740-280-4$b(rilegato)
010   $a978-84-9740-281-1$b(brossura)
035   $a000162977
035   $aUSA01000162977
035   $a(ALEPH)000162977USA01
035   $a000162977
100   $a20040504d2009----km-y0itay50------ba
101 0 $aspa
102   $aES
105   $aaf||||||001yy
200 1 $aAntología$fAndrés Bello$gedición, introducción y notas de Giuseppe Bellini
210   $aMadrid$cCastalia$d2009
215   $a199 p., [3] carte di tav.$cill.$d21 cm
225 2 $aClásicos Castalia$v296
410  0$12001$aClásicos Castalia
676   $a861
700  1$aBELLO,$bAndrés$0466326
702  1$aBELLINI,$bGiuseppe$f<1923-2016>
801  0$aIT$bsalbc$gISBD
912   $a990001629770203316
951   $aVI.5.E. 321$b2579 L.G.$cVI.5.E.$d00295639
959   $aBK
969   $aUMA
979   $aMARIA$b10$c20040504$lUSA01$h1000
979   $aANNAMARIA$b90$c20110328$lUSA01$h1558
996   $aAntología$9944013
997   $aUNISA

LEADER 01501nam  2200385   450 
001 9910332545903321
005 20230721041406.0
010   $a1-5090-6978-X
035   $a(CKB)4100000008867320
035   $a(WaSeSS)IndRDA00119662
035   $a(EXLCZ)994100000008867320
100   $a20200305d2009      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFMCAD 2009 $eproceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /$ftechnically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDA
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2009.
215   $a1 online resource (115 pages)
311   $a1-4244-4965-0 
320   $aIncludes bibliographical references and index.
606   $aIntegrated circuits$xVerification$vCongresses
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
615  0$aIntegrated circuits$xVerification
615  0$aDigital integrated circuits$xComputer-aided design
676   $a621
712 02$aIEEE Council on Electronic Design Automation,
712 02$aACM Special Interest Group on Design Automation,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910332545903321
996   $aFMCAD 2009$92520506
997   $aUNINA