02144nlm0 22005891i 450 9900092592904033219783642002557000925929FED01000925929(Aleph)000925929FED0100092592920100926d2009----km-y0itay50------baengDEdrnn-008mamaaIntegrated Formal MethodsRisorsa elettronica7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 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, Michael Leuschel, Heike WehrheimBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435423Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Leuschel,MichaelMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Wehrheim,HeikeWeikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00255-7EB990009259290403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringIntegrated Formal Methods772444UNINA