Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logical Analysis of Hybrid Systems
  • Produktbild: Logical Analysis of Hybrid Systems
- 13%

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.09.2010

Abbildungen

XXX, 426 p.

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

929 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-14508-7

Beschreibung

Rezension

"This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund M. Clarke, Carnegie Mellon University)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.09.2010

Abbildungen

XXX, 426 p.

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

929 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-14508-7

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: Logical Analysis of Hybrid Systems
  • Produktbild: Logical Analysis of Hybrid Systems
  • Logics and Proof Calculi for Hybrid Systems.- Differential Dynamic Logic d?.- Differential-Algebraic Dynamic Logic DAL.- Differential Temporal Dynamic Logic dTL.- Automated Theorem Proving for Hybrid Systems.- Deduction Modulo Real Algebra and Computer Algebra.- Computing Differential Invariants as Fixed Points.- Case Studies and Applications in Hybrid Systems Verification.- European Train Control System.- Air Traffic Collision Avoidance.- Conclusion.