Formal Verification of Control System Software
Autor:
Princeton University Press
Verlag:
Princeton University Press
Sprache:
English
Keine Beschreibung für das Buch
CHF 89.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
ISBN
978-0-691-18130-1
EAN
9780691181301
Erscheinungsjahr
5/14/2019
Verlag
Princeton University Press
Author
Garoche, Pierre-Loic
Sprache
English
Princeton University Press weitere Bücher
Bewertungen
0 Bewertungen
Anmeldung erforderlich