02351nlm0 22006371i 450 9900092560404033219783540799801000925604FED01000925604(Aleph)000925604FED0100092560420100926d2008----km-y0itay50------baengDEdrnn-008mamaaAlgebraic Methodology and Software TechnologyRisorsa elettronica12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 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, José Meseguer, Grigore RosuBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435140Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMeseguer,JoséMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Rosu,GrigoreSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-79980-1EB990009256040403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationAlgebraic Methodology and Software Technology774301UNINA