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 /
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 forma...
Saved in:
Corporate Authors: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy) |
---|---|
Other Authors: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Padovani, Luca., Zavattaro, Gianluigi., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2009.
Berlin ; New York : [2009] |
Physical Description: |
1 online resource (vi, 339 pages) : illustrations. |
Series: |
LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5569. |
Subjects: |
In Prospector
Similar Items
-
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
Published: (2005) -
Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures
Published: (2016) -
Formal methods for executable software models : 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
Published: (2014) -
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
Published: (2015) -
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures
Published: (2013)