02409nlm0 22006131i 450 9900092596904033219783642007682000925969FED01000925969(Aleph)000925969FED0100092596920100926d2009----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Kowalewski, Anna PhilippouBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435505Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Kowalewski,StefanMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Philippou,AnnaSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00768-2EB990009259690403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsProgramming TechniquesSoftware engineeringSoftware EngineeringSoftware Engineering/Programming and Operating SystemsTools and Algorithms for the Construction and Analysis of Systems772021UNINA