Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-componen…
Mehr
CHF 72.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Damiani, Ferruccio (Hrsg.) / De Boer, Frank S. (Hrsg.) / Bonsangue, Marcello M. (Hrsg.)
- ISBN: 978-3-642-35887-6
- EAN: 9783642358876
- Produktnummer: 33365678
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 356 S.
- Plattform: PDF
- Masse: 7'775 KB
- Auflage: 2013
- Abbildungen: 129 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7542
19 weitere Werke von Bernhard (Hrsg.) Beckert:
Electronic Voting
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Tests and Proofs
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Ebook (PDF Format)
CHF 77.00
Electronic Voting
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Bewertungen
Anmelden