02217nlm0 22006131i 450 9900092610804033219783642026584000926108FED01000926108(Aleph)000926108FED0100092610820100926d2009----km-y0itay50------baengDEdrnn-008mamaaComputer Aided VerificationRisorsa elettronica21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 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, Ahmed Bouajjani, Oded MalerBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435643Documento elettronicoTestoFormato html, pdfBouajjani,AhmedHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Maler,OdedMattern,FriedemannMitchell,John C.Naor,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-642-02658-4EB990009261080403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringComputer Aided Verification772228UNINA