02244nlm0 22006011i 450 9900092542904033219783540705949000925429FED01000925429(Aleph)000925429FED0100092542920100926d2008----km-y0itay50------baengDEdrnn-008mamaaMathematics of Program ConstructionRisorsa elettronica9th International Conference, MPC 2008, Marseille, France, July 15-18, 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, Philippe Audebaud, Christine Paulin-MohringBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435133Documento elettronicoTestoFormato html, pdfAudebaud,PhilippeHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Paulin-Mohring,ChristineSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70594-9EB990009254290403321Computation by Abstract DevicesComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringMathematics of Program Construction772229UNINA