02378nlm0 22006131i 450 9900092595304033219783642005961000925953FED01000925953(Aleph)000925953FED0100092595320100926d2009----km-y0itay50------baengDEdrnn-008mamaaFoundations of Software Science and Computational StructuresRisorsa elettronica12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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, Luca AlfaroBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435504Documento elettronicoTestoFormato html, pdfAlfaro,LucaHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,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-00596-1EB990009259530403321Computation by Abstract DevicesComputer scienceComputer ScienceInformation theoryLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringTheory of ComputationFoundations of Software Science and Computational Structures772755UNINA