02206nlm0 22006131i 450 9900092541704033219783540705451000925417FED01000925417(Aleph)000925417FED0100092541720100926d2008----km-y0itay50------baengDEdrnn-008mamaaComputer Aided VerificationRisorsa elettronica20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 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, Aarti Gupta, Sharad MalikBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435123Documento elettronicoTestoFormato html, pdfGupta,AartiHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Malik,SharadMattern,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-540-70545-1EB990009254170403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringComputer Aided Verification772228UNINA