Produktnummer:
181926282e012146018e4b82ad68c18565
| Themengebiete: | design distributed systems formal method model checking object-oriented programming object oriented design programming semantics theorem proving verification |
|---|---|
| Veröffentlichungsdatum: | 29.05.2008 |
| EAN: | 9783540688624 |
| Sprache: | Englisch |
| Seitenzahl: | 259 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Barthe, Gilles |
| Verlag: | Springer Berlin |
| Untertitel: | 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings |
Produktinformationen "Formal Methods for Open Object-Based Distributed Systems"
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
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