Formal Methods for Web Services : 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
- 言語:
- 英語
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
- 形態:
- v.: digital
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 5569
- 書誌ID:
- NB02220525
- ISBN:
- 9783642019180 [3642019188]
- 学内からのみアクセスすることができます。
類似資料:
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |