Opening book details…
Can I read 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 on EtoBox?
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 by Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.) is a nonfiction available to read on EtoBox.
What is 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 about?
Annotation This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance
Who reads 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?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)
- Publisher
- Springer-Verlag Berlin And Heidelberg Gmbh & Co
- Published
- 2009
- Language
- EN
- ISBN
- 9783642019173
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)
Browse all works by Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)
Similar books
- Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : Advanced Lectures — Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (2010)
- Formal methods for computational systems biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008: advanced lectures — Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (2008)
- Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures — Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (2006)
- Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures — William J. Stewart (auth.), Marco Bernardo, Jane Hillston (2007)
- Formal Methods For Mobile Computing: 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm-moby 2005, Bertinoro, Italy, April 26-30, 2005 ; Advanced Lectures 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems: Sfm-moby 2005 Sfm-moby 2005 — Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (2005)
- Formal Methods for Executable Software Models [recurso electrónico] 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures — Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (2014)