Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and servi…
Mehr
CHF 61.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Salaün, Gwen (Hrsg.)
- ISBN: 978-3-642-35861-6
- EAN: 9783642358616
- Produktnummer: 33365592
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 277 S.
- Plattform: PDF
- Masse: 4'840 KB
- Auflage: 2013
- Abbildungen: 72 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7684
2 weitere Werke von Corina S (Hrsg.) Pasareanu:
Bewertungen
Anmelden