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