Produktnummer:
18f042c2ad26d147f99e4cb600a6cf6726
| Themengebiete: | automatic inference complex systems formal methods modeling software components |
|---|---|
| Veröffentlichungsdatum: | 26.08.2013 |
| EAN: | 9783642406140 |
| Sprache: | Englisch |
| Seitenzahl: | 241 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bonsangue, Marcello M. Giachino, Elena Hähnle, Reiner de Boer, Frank S. |
| Verlag: | Springer Berlin |
| Untertitel: | 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures |
Produktinformationen "Formal Methods for Components and Objects"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen