Data & IT
Pocket
Formal Methods for Components and Objects
Elena Giachino • Reiner Hhnle • Frank S De Boer • Marcello M Bonsangue
849:-
Uppskattad leveranstid 5-9 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. 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.
- Format: Pocket/Paperback
- ISBN: 9783642406140
- Språk: Engelska
- Antal sidor: 241
- Utgivningsdatum: 2013-08-26
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K