FM 2012: Formal Methods
Produktnummer:
18dada8714118d4549ad800a3b00c7932e
| Themengebiete: | algorithms automata automated verification model checking software development |
|---|---|
| Veröffentlichungsdatum: | 21.07.2012 |
| EAN: | 9783642327582 |
| Sprache: | Englisch |
| Seitenzahl: | 488 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Giannakopoulou, Dimitra Mery, Dominique |
| Verlag: | Springer Berlin |
| Untertitel: | 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
Produktinformationen "FM 2012: Formal Methods"
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
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