Formal Methods for Components and Objects
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
59,75 €On orderDelivery: 2-3 weeks
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
- ISBN-13
- 9783642406140
- ISBN-10
- 3642406149
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-08-26
- Pages
- 241
- Dimensions
- 235x155x