Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 26. August 2013 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 388 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642406140 |
| Seiten | 241 |
Schlagwörter
Herstellerinformationen
Bekannt durch
