• Produktbild: Formal Aspects of Component Software
  • Produktbild: Formal Aspects of Component Software
Band 8348

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.07.2014

Herausgeber

José Luiz Fiadeiro + weitere

Verlag

Springer

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-07601-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.07.2014

Herausgeber

Verlag

Springer

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-07601-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Aspects of Component Software
  • Produktbild: Formal Aspects of Component Software
  • Probabilistic modal specifications.- Orchestration.- Super-dense computation in verification of Hybrid CSP Processes.- A proof-carrying code approach to certificate auction mechanisms.- Towards verification of ensemble based component systems.