02167nlm0 22006011i 450 9900092536304033219783540691662000925363FED01000925363(Aleph)000925363FED0100092536320100926d2008----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. 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, María Alpuente, Germán VidalBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435079Documento elettronicoTestoFormato html, pdfAlpuente,MaríaHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Vidal,GermánWeikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-69166-2EB990009253630403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA