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

Logical Analysis of Hybrid Systems André Platzer

Name: Logical Analysis of Hybrid Systems André Platzer
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080023453
Price: 106.99 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 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:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

André Platzer
Seiten:

456
Gewicht:

686
Einband:

Taschenbuch
Format:

235x155x25 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Logical Analysis of Hybrid Systems
Erscheinungsjahr:

20141128
Produktart:

Bücher
Buchtitel:

Logical Analysis of Hybrid Systems
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Logical Analysis of Hybrid Systems
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Axiomatisation Embedded Systems Robotics air traffic contro...
ISBN:

9783642444746

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 11. July 2025 und 15. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere