- 5 Ergebnisse
Kleinster Preis: € 96,15, größter Preis: € 106,99, Mittelwert: € 102,72
1
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics - Emma Hart
Bestellen
bei hive.co.uk
£ 84,58
(ca. € 96,15)
Bestellengesponserter Link
Emma Hart:

Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics - neues Buch

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…

No. 9783642145094. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei Thalia.de
€ 106,99
Versand: € 0,001
Bestellengesponserter Link

André Platzer:

Logical Analysis of Hybrid Systems - neues Buch

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…

Nr. 28851125. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00)
3
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei eBook.de
€ 96,49
Versand: € 0,001
Bestellengesponserter Link
André Platzer:
Logical Analysis of Hybrid Systems - neues Buch

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

Versandkosten:in stock, , , DE. (EUR 0.00)
4
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellengesponserter Link
André Platzer:
Logical Analysis of Hybrid Systems - Erstausgabe

2010, ISBN: 9783642145094

Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2010

Versandkosten:Download sofort lieferbar. (EUR 0.00)
5
Logical Analysis of Hybrid Systems - André Platzer
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellengesponserter Link
André Platzer:
Logical Analysis of Hybrid Systems - neues Buch

2010, ISBN: 9783642145094

Proving Theorems for Complex Dynamics, eBooks, eBook Download (PDF), 2010, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Download sofort lieferbar. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

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