02300nlm0 22006131i 450 9900092574204033219783540878735000925742FED01000925742(Aleph)000925742FED0100092574220100926d2008----km-y0itay50------baengDEdrnn-008mamaaVerified Software: Theories, Tools, ExperimentsRisorsa elettronicaSecond International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 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, Natarajan Shankar, Jim WoodcockBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435295Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Shankar,NatarajanSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardWoodcock,JimITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-87873-5EB990009257420403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesModels and PrinciplesProgramming Languages, Compilers, InterpretersProgramming TechniquesVerified Software: Theories, Tools, Experiments774051UNINA