Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Kirjat - Princeton University Press - 9780691181301 - tiistai 14. toukokuuta 2019
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 76,99

Tilattu etävarastosta

Arvioitu toimitus pe - ti 9. - 20. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 14. toukokuuta 2019
ISBN13 9780691181301
Tuottaja Princeton University Press
Sivujen määrä 232
Mitta 243 × 163 × 15 mm   ·   536 g
Kieli Englanti  

Lisää tuotteita Pierre-Loic Garoche

Näytä kaikki

Katso kaikki joka sisältää Pierre-Loic Garoche ( Esim. Hardcover Book Ja Paperback Book )