02135nlm0 22005891i 450 9900092562204033219783540851141000925622FED01000925622(Aleph)000925622FED0100092562220100926d2008----km-y0itay50------baengDEdrnn-008mamaaModel Checking SoftwareRisorsa elettronica15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 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, Klaus Havelund, Rupak Majumdar, Jens PalsbergBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435156Documento elettronicoTestoFormato html, pdfHavelund,KlausHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Majumdar,RupakMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPalsberg,JensPandu 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-85114-1EB990009256220403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringModel Checking Software771961UNINA