02170nlm0 22005771i 450 9900092591004033219783540939009000925910FED01000925910(Aleph)000925910FED0100092591020100926d2009----km-y0itay50------baengDEdrnn-008mamaaVerification, Model Checking, and Abstract InterpretationRisorsa elettronica10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 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, Neil D. Jones, Markus Müller-OlmBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435403Documento elettronicoTestoFormato html, pdfHutchison,DavidJones,Neil D.Kanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Müller-Olm,MarkusNaor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-93900-9EB990009259100403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringVerification, Model Checking, and Abstract Interpretation771936UNINA