01337nam--2200385---450-99000307294020331620080411154236.03-540-47237-1000307294USA01000307294(ALEPH)000307294USA0100030729420080229d2006----km-y0itay0103----baengDEa|||||||001yyAutomated technology for Verification and Analysis4th International Symposium, ATVA 2006Beijing, China, October 2006ProceedingsSusanne Graf, Wenhui Zhang (Eds.)Berlin [etc.]Springercopyr. 2006XIV, 537 p.ill.24 cm.Lecture notes in computer science42182001Lecture notes in computer science4218InformaticaCongressiBeijing2006005.1GRAF,SusanneZHANG,WenhuiInternational Symposium, ATVA 2006<4;2006;Beijing>600421ITAsalbcISBD990003072940203316001 LNCS 421834328/CBS00100217126BKSCIANGELA9020080229USA011415ANGELA9020080411USA011542Automated technology for Verification and Analysis1023501UNISA01663nam2 22003493i 450 GEA001810220231121125504.0IT65-2141 20120704d1965 ||||0itac50 baitaitaitz01i xxxe z01n˜16: œCalabriaLucio GambiTorinoUnione tipografico-editrice torinesestampa 1965XIV, 564 p., 1 carta geogr., 6 carte di tav.ill. : 29 cm.001GEA00180862001 ˜Le œregioni d'Italiacollezione fondata da Roberto Almagià diretta da Elio Migliorini16Calabria.MSE0085973CFIV033102314079Gambi, LucioCFIV03310207032332ITIT-0120120704IT-RM0289 IT-RM0319 IT-FR0084 IT-RM0314 IT-RM1164 IT-FR0017 Biblioteca Statale A. BaldiniRM0289 Biblioteca dello Stato Maggiore dell' AeronauticaRM0319 Biblioteca Del Monumento Nazionale Di MontecassinoFR0084 Biblioteca delle Infrastrutture e della mobilità sostenibiliRM0314 Biblioteca Luca Pacioli Dipartimento RagioneriaRM1164 Biblioteca umanistica Giorgio ApreaFR0017 GEA0018102Biblioteca umanistica Giorgio Aprea 52S.L. 914.5 Reg.Ita.Ute.16 52MAG0000042615 VMB RS C 2012071120120711 04 22 25 31 40 52Calabria314079UNICAS