02446nlm0 22006371i 450 9900092606004033219783642021381000926060FED01000926060(Aleph)000926060FED0100092606020100926d2009----km-y0itay50------baengDEdrnn-008mamaaFormal Techniques for Distributed SystemsRisorsa elettronicaJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 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, David Lee, Antónia Lopes, Arnd Poetzsch-HeffterBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435522Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Lee,DavidLopes,AntóniaMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Poetzsch-Heffter,ArndSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02138-1EB990009260600403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Techniques for Distributed Systems774228UNINA