ISBN: 9783642145094
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior.Many applications are safety-critical, including car, railway… Mehr…
hive.co.uk No. 9783642145094. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642145094
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railwa… Mehr…
Thalia.de Nr. 28851125. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
ISBN: 9783642145094
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics: ab 96.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2010, ISBN: 9783642145094
Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2010
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9783642145094
Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), 2010, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783642145094
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior.Many applications are safety-critical, including car, railway… Mehr…
2010, ISBN: 9783642145094
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railwa… Mehr…
ISBN: 9783642145094
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics: ab 96.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
2010, ISBN: 9783642145094
Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2010
2010, ISBN: 9783642145094
Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), 2010, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logical Analysis of Hybrid Systems
EAN (ISBN-13): 9783642145094
ISBN (ISBN-10): 3642145094
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
426 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-01-30T11:01:31+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-10-07T20:37:55+02:00 (Zurich)
ISBN/EAN: 9783642145094
ISBN - alternative Schreibweisen:
3-642-14509-4, 978-3-642-14509-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: platzer, platz, paech
Titel des Buches: complex analysis, analysis systems, the logical must, hybrid, dynamics complex systems
Daten vom Verlag:
Autor/in: André Platzer
Titel: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
Verlag: Springer; Springer Berlin
426 Seiten
Erscheinungsjahr: 2010-09-02
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XXX, 426 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Air traffic control; Axiomatisation; Differential equations; Dynamic logic; Embedded systems; Formal methods; Hybrid systems; Logic; Safety-critical systems; Verification; automated theorem proving; automation; robot; robotics; B; Mathematical Logic and Formal Languages; Artificial Intelligence; Mathematics of Computing; Logics and Meanings of Programs; Control, Robotics, Mechatronics; Formal Languages and Automata Theory; Artificial Intelligence; Mathematics of Computing; Computer Science Logic and Foundations of Programming; Control, Robotics, Automation; Computer Science; Künstliche Intelligenz; Mathematik für Informatiker; Regelungstechnik; BB
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
2903642145086 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics (Andre Platzer)
< zum Archiv...