Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Bøker - Princeton University Press - 9780691181301 - 14. mai 2019
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 829

Bestillingsvarer

Forventes levert 5. - 14. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 14. mai 2019
ISBN13 9780691181301
Utgivere Princeton University Press
Antall sider 232
Mål 243 × 163 × 15 mm   ·   536 g
Språk Engelsk  

Mer med Pierre-Loic Garoche

Vis alle

Se alt med Pierre-Loic Garoche ( f.eks. Innbunden bok og Pocketbok )