Formal Methods for Web Services [Risorsa elettronica] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / 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, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

• Pubblicazione: Berlin ; Heidelberg : Springer, 2009
• Persona (resp. second.): Bernardo, Marco; Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Padovani, Luca; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Zavattaro, Gianluigi
• Type File/ Data Note: Formato html, pdf
• Requisiti sistema: Formato html, pdf
• Titolo autorizzato: Formal Methods for Web Services
• ISBN: 9783642019180
• Formato: Risorse elettroniche
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990009260370403321
• Lo trovi qui: Univ. Federico II
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-3-642-01918-0