• Produktbild: Engineering Trustworthy Software Systems
  • Produktbild: Engineering Trustworthy Software Systems
Band 9506

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.03.2016

Abbildungen

XI, 325 p. 141 illus. in color.

Herausgeber

Zhiming Liu + weitere

Verlag

Springer

Seitenzahl

325

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Sprache

Englisch

ISBN

978-3-319-29627-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.03.2016

Abbildungen

XI, 325 p. 141 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

325

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Sprache

Englisch

ISBN

978-3-319-29627-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Engineering Trustworthy Software Systems
  • Produktbild: Engineering Trustworthy Software Systems
  • (In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.