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 Programming and Software Engineering 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 Programming and Software Engineering by Marco Bernardo; Luca Padovani; Gianluigi Zavattaro; International School on Formal Methods for the Design of Computer, Communication, and Software Systems; International School on Formal Methods for the Design of Computer, Communication and Software Systems; SFM 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 Programming and Software Engineering 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 Programming and Software Engineering?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Marco Bernardo; Luca Padovani; Gianluigi Zavattaro; International School on Formal Methods for the Design of Computer, Communication, and Software Systems; International School on Formal Methods for the Design of Computer, Communication and Software Systems; SFM
- Publisher
- Springer-Verlag Berlin And Heidelberg Gmbh & Co
- Published
- 2009
- Language
- EN
- ISBN
- 9783642019180
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Marco Bernardo; Luca Padovani; Gianluigi Zavattaro; International School on Formal Methods for the Design of Computer, Communication, and Software Systems; International School on Formal Methods for the Design of Computer, Communication and Software Systems; SFM
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 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 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 multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures — Einar Broch Johnsen Marco Bernardo (2015)
- 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)
