• Produktbild: Justifying the Dependability of Computer-based Systems
  • Produktbild: Justifying the Dependability of Computer-based Systems
- 12%

Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering

12% sparen

187,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2010

Abbildungen

XVIII, 323 p. 24 illus.

Verlag

Springer London

Seitenzahl

323

Maße (L/B/H)

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

Gewicht

522 g

Auflage

Softcover reprint of hardcover 1st ed. 2008

Sprache

Englisch

ISBN

978-1-84996-794-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2010

Abbildungen

XVIII, 323 p. 24 illus.

Verlag

Springer London

Seitenzahl

323

Maße (L/B/H)

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

Gewicht

522 g

Auflage

Softcover reprint of hardcover 1st ed. 2008

Sprache

Englisch

ISBN

978-1-84996-794-5

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: Justifying the Dependability of Computer-based Systems
  • Produktbild: Justifying the Dependability of Computer-based Systems
  • The Context.- Current Practices.- Axiomatic Justification and Uncertainty.- Justification and Dependability Case.- Prescriptions.- Requirements, Claims and Evidence.- Arguments, Syntax and Semantics.- Axiomatic Principles and Limits.- Descriptions.- Structures and Interpretations.- Embedded Computer System Structures.- Methodological Implications.- Pre-existing Systems and Components.- Construction Methods.- Postface.