Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 04.08.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
Produktbild: Provably Correct Systems

Provably Correct Systems

Aus der Reihe NASA Monographs in Systems and Software Engineering

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.05.2018

Abbildungen

XV, 84 illus., 48 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Mike Hinchey + weitere

Verlag

Springer

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

718 g

Auflage

Softcover reprint of the original 1st edition 2017

Sprache

Englisch

ISBN

978-3-319-83980-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.05.2018

Abbildungen

XV, 84 illus., 48 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

718 g

Auflage

Softcover reprint of the original 1st edition 2017

Sprache

Englisch

ISBN

978-3-319-83980-6

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: Provably Correct Systems
  • Foreword.- Preface.- Part I: Historic Account.- ProCoS: How It All Began – As Seen from Denmark.- Part II: Hybrid Systems .- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems.- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems.- Part III: Correctness of Concurrent Algorithms .- A Proof Method for Linearizability on TSO Architectures.- Part IV: Interfaces and Linking .- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres.- Towards Interface-Driven Design of Evolving Component-Based Architectures.- Part V: Automatic Verification .- Computing Verified Machine Address Bounds during Symbolic Exploration of Code.- Engineering a Formal, Executable x86 ISA Simulator for Software Verification.- Advances in Connection-Based Automated Theorem Proving.- Part VI: Run-Time Assertion Checking .- Run-Time Deadlock Detection.- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design.- Part VII: Formal and Semi-Formal Methods.- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods.- Part VIII: Web-Supported Communities in Science .- Provably Correct Systems: Community, Connections and Citations.