Bültmann & Gerriets
Formal Verification of Control System Software
von Pierre-Loïc Garoche
Verlag: Princeton University Press
Reihe: Princeton Series in Applied Mathematics
E-Book / PDF
Kopierschutz: Adobe DRM


Speicherplatz: 10 MB
Hinweis: Nach dem Checkout (Kasse) wird direkt ein Link zum Download bereitgestellt. Der Link kann dann auf PC, Smartphone oder E-Book-Reader ausgeführt werden.
E-Books können per PayPal bezahlt werden. Wenn Sie E-Books per Rechnung bezahlen möchten, kontaktieren Sie uns bitte.

ISBN: 978-0-691-18958-1
Erschienen am 14.05.2019
Sprache: Englisch

Preis: 65,49 €

65,49 €
merken
zum Hardcover 67,50 €
Biografische Anmerkung

Pierre-Loïc Garoche is senior research scientist at ONERA, France's national aerospace research center.


andere Formate
weitere Titel der Reihe