Produktbild
Corina S (Hrsg.) Pasareanu

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.