Formal Methods for Web Services [E-Book] : 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.
Saved in:
|
Full text |
|
| Personal Name(s): | Hutchison, David |
| Bernardo, Marco / 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 | |
| Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009
|
| Physical Description: |
online resource |
| ISBN: |
9783642019180 |
| Series Title: |
Lecture Notes in Computer Science ;
5569 |
| Subject (LOC): |
| Description not available. |