2019, ISBN: 3030096971
[EAN: 9783030096977], Neubuch, [PU: Springer International Publishing], CYBERPHYSICALSYSTEMS(CPS) DIFFERENTIALEQUATIONS DYNAMICALSYSTEMS LOGIC CONTROLLOOPS PROOFS VERIFICATION VALIDATION … Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2019, ISBN: 3030096971
Softcover reprint of the original 1st ed. 2018 Kartoniert / Broschiert Mathematische Grundlagen, Regelungstechnik, Sicherheitssysteme und Brandmeldeanlagen, Theoretische Informatik, Kün… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Geen versendingskosten in Duitsland. (EUR 0.00) Details... |
ISBN: 9783030096977
Paperback, [PU: Springer Nature Switzerland AG], Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2019, ISBN: 9783030096977
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer International Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. André Platzer is a… Mehr…
booklooker.de |
2019, ISBN: 9783030096977
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 2018, 670 Seiten, Publiziert: 2019-02-08T00:00:01Z, Produktgruppe: Buch, 2.24 kg, Computer & Internet, Kategorien… Mehr…
amazon.de |
2019, ISBN: 3030096971
[EAN: 9783030096977], Neubuch, [PU: Springer International Publishing], CYBERPHYSICALSYSTEMS(CPS) DIFFERENTIALEQUATIONS DYNAMICALSYSTEMS LOGIC CONTROLLOOPS PROOFS VERIFICATION VALIDATION … Mehr…
2019, ISBN: 3030096971
Softcover reprint of the original 1st ed. 2018 Kartoniert / Broschiert Mathematische Grundlagen, Regelungstechnik, Sicherheitssysteme und Brandmeldeanlagen, Theoretische Informatik, Kün… Mehr…
ISBN: 9783030096977
Paperback, [PU: Springer Nature Switzerland AG], Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion… Mehr…
2019, ISBN: 9783030096977
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer International Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. André Platzer is a… Mehr…
2019, ISBN: 9783030096977
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 2018, 670 Seiten, Publiziert: 2019-02-08T00:00:01Z, Produktgruppe: Buch, 2.24 kg, Computer & Internet, Kategorien… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logical Foundations of Cyber-Physical Systems
EAN (ISBN-13): 9783030096977
ISBN (ISBN-10): 3030096971
Taschenbuch
Erscheinungsjahr: 2019
Herausgeber: Springer
Buch in der Datenbank seit 2019-10-15T14:41:21+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-13T21:53:54+01:00 (Vienna)
ISBN/EAN: 3030096971
ISBN - alternative Schreibweisen:
3-030-09697-1, 978-3-030-09697-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: platzer, andré
Daten vom Verlag:
Autor/in: André Platzer
Titel: Logical Foundations of Cyber-Physical Systems
Verlag: Springer; Springer International Publishing
639 Seiten
Erscheinungsjahr: 2019-02-08
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
54,99 € (DE)
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Cyberphysical Systems (CPS); Differential Equations; Dynamical Systems; Logic; Control Loops; Proofs; Verification; Validation; Hybrid Systems; Hybrid Programs (HP); Games; Model Checking; Safety-Critical Systems; quality control, reliability, safety and risk; Formal Languages and Automata Theory; Artificial Intelligence; Mathematical Logic and Foundations; Control, Robotics, Automation; Security Science and Technology; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; Regelungstechnik; Sicherheitssysteme und Brandmeldeanlagen; BB
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319635880 Logical Foundations of Cyber-Physical Systems (Andre Platzer)
< zum Archiv...