Formal Techniques for Distributed Systems [Risorsa elettronica] : Joint 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. Proceedings / edited 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-Heffter

• Pubblicazione: Berlin ; Heidelberg : Springer, 2009
• Persona (resp. second.): Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Lee, David; Lopes, Antónia; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Poetzsch-Heffter, Arnd; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard
• Type File/ Data Note: Formato html, pdf
• Requisiti sistema: Formato html, pdf
• Titolo autorizzato: Formal Techniques for Distributed Systems
• ISBN: 9783642021381
• Formato: Risorse elettroniche
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990009260600403321
• Lo trovi qui: Univ. Federico II
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-3-642-02138-1