01599nam--2200385---450-99000299043020331620080306121111.0978-3-540-71208-4000299043USA01000299043(ALEPH)000299043USA0100029904320071016d2007----km-y0itay0103----baengDEa|||||||001yyTools and algorithms for the construction and analysis of systems13th International Conference, TACAS 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007proceedingsOrna Grumberg, Michael Huth (Eds.)Berlin [etc.]Springercopyr. 2007XX, 738 p.ill.24 cmLecture notes in computer science44242001Lecture notes in computer science4424GRUMBERG,OrnaHUTH,MichaelInternational Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007<13;Braga2007;>598729ITAsalbcISBD990002990430203316001 LNCS 442434619/CBS00100217119SPSCISENATORE9020071016USA011214SENATORE9020071030USA011059SENATORE9020071030USA011100ANGELA9020080306USA011211Tools and algorithms for the construction and analysis of systems1029293UNISA01317cam0 2200301 450 E60020005704920250724123551.020091125d1962 |||||ita|0103 baitaITPitture romaniche della Spagnatesto di Juan AinaudMilanoSilvana editoriale d'arte196224 p., 28 c. di tav.ill.17 cmUNESCO-SilvanaArte per tutti3001LAEC000278182001 *UNESCO-Silvana. Arte per tutti3Pitture romaniche della SpagnaSOBA00035071268750Ainaud De Lasarte, JuanA600200026704070212385ITUNISOB20250724RICAUNISOBUNISOBFondo|Istituto|Cervantes146343UNISOBFondo|Calì183929E600200057049M 102 Monografia moderna SBNMFondo|Istituto|Cervantes000197Si146343IstitutoCervantesdonomenleUNISOBUNISOB20091125114244.020210105153135.0SpinosaModalità di consultazione sulla home page della Biblioteca link FondiFondo|Calì001519SI18392920250526CaliDonoNrovitoUNISOBUNISOB20250724123413.020250724123459.0rovitoPitture romaniche della Spagna268750UNISOB