Spara
Formal Methods for Eternal Networked Software Systems
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011.
- Undertitel
- 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
- Redaktör
- Marco Bernardo, Valerie Issarny
- ISBN
- 9783642214547
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-06-03
- Sidor
- 527
