Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Logical Analysis of Hybrid Systems André Platzer

Ø 0.0
0 Bewertungen
106,99 €

Titel: Logical Analysis of Hybrid Systems, Untertitel: Proving Theorems for Complex Dynamics, Einband: Taschenbuch, Autor: André Platzer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: Axiomatisation Embedded Systems Robotics air traffic control automated theorem proving automation differential equations dynamic logic formal methods hybrid systems logic robot safety-critical systems verification.

Jetzt bei Ebay: