02044nlm0 22005651i 450 9900092610604033219783642026522000926106FED01000926106(Aleph)000926106FED0100092610620100926d2009----km-y0itay50------baengDEdrnn-008mamaaModel Checking SoftwareRisorsa elettronica16th International SPIN Workshop, Grenoble, France, June 26-28, 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, Corina S. PasareanuBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435578Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Pasareanu,Corina S.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02652-2EB990009261060403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringModel Checking Software771961UNINA