Ergebnisse filtern
-
- 4
- 1
-
- 1
- 2
- 1
- 1
-
- 4
- 1
-
- 5
-
- 5
-
- 5
-
- 5
-
Mitra Verifying Cyber-Physical Systems
A Path to Safe AutonomyErscheinungsjahr 2021Verlag: MIT PressISBN: 978-0-262-37026-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)58,99 € (inkl. MwSt.)
sofort verfügbar -
Lindemann / Dimarogonas Formal Methods for Multi-Agent Feedback Control Systems
Erscheinungsjahr 2025Verlag: MIT PressISBN: 978-0-262-38280-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)88,49 € (inkl. MwSt.)
sofort verfügbar -
Grumberg / Peleg Model Checking
Erscheinungsjahr 1999Verlag: MIT Press LtdISBN: 978-0-262-03270-4Medium: Buch72,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Grumberg / Kroening Model Checking, second edition
Erscheinungsjahr 2018Verlag: MIT PressISBN: 978-0-262-34945-1Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)78,49 € (inkl. MwSt.)
sofort verfügbar -
Ferrari / Wettergren Information-Driven Planning and Control
Erscheinungsjahr 2021Verlag: MIT PressISBN: 978-0-262-36239-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)73,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort