Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Bücher - Princeton University Press - 9780691181301 - 14. Mai 2019
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Pierre-Loic Garoche
Formal Verification of Control System Software - Princeton Series in Applied Mathematics

Preis
SFr. 65,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible

224 pages, 79 b/w illus.

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 14. Mai 2019
ISBN13 9780691181301
Verlag Princeton University Press
Seitenanzahl 232
Maße 243 × 163 × 15 mm   ·   536 g
Sprache Englisch  

Weitere Titel von Pierre-Loic Garoche

Alle anzeigen

Alle Titel von Pierre-Loic Garoche ansehen ( u. a. Gebundenes Buch und Taschenbuch )