Formal Methods for Eternal Networked Software Systems: 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
- Author
- Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2011
- Page
- 527
- ISBN
- 9783642214547,9783642214554
- File Type
- pdf
- File Size
- 12.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot