01593nam2-2200421li-450 99000020673020331620180312154903.03-540-61042-10020673USA010020673(ALEPH)000020673USA01002067320001109d1996----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systemssecond International workshop, TACAS'96Passau, Germany, March 27-29, 1996proceedingsTiziana Margaria ...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XI, 434 p.ill.24 cmLecture notes in computer science105500100202642001Lecture notes in computer sciencealgoritmicongressi1996congressipassau1995elaboratori elettroniciprogrammazionecongressi199600512Svuluppo dei programmiMargaria,TizianaInternational Workshop TACAS'962.Passau1996754757Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206730203316001 LNCS (1055)001910000100103844BKSCI1996100620001110USA011714ALANDI9020010201USA01103120020403USA011628PATRY9020040406USA011615Tools and algorithms for the construction and analysis of systems1518963UNISA01229nam a22002771i 450099100131642970753620031124162520.0040407s1978 it a||||||||||||||||ita b12751807-39ule_instARCHE-073143ExLDip.to Scienze StoricheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.708Calabria. <Vibo Valentia>Centro di servizi culturali484032Beni culturali a Monteleone di CalabriaChiaravalle Centrale :Frama Sud,[1978]159 p. :ill. ;22 cmQuaderni del Centro di servizi culturali di Vibo ValentiaIn testa al front.: Regione Calabria, centro servizi culturali, Vibo valentiaArteVibo Valentia.b1275180702-04-1416-04-04991001316429707536LE009 LA IV G 5212009000245150le009-E0.00-l- 00000.i1329049616-04-04LE009 LA IV G 52 bis2LE009A-5101 LAle009-E0.00-l- 00000.i1329050216-04-04Beni culturali a Monteleone di Calabria266576UNISALENTOle00916-04-04ma -itait 02