Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Böcker - Princeton University Press - 9780691181301 - 14 maj 2019
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 809

Beställningsvara

Förväntad leverans 7 - 16 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
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öcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 14 maj 2019
ISBN13 9780691181301
Utgivare Princeton University Press
Antal sidor 232
Mått 243 × 163 × 15 mm   ·   536 g
Språk Engelska  

Fler produkter med Pierre-Loic Garoche

Visa alla

Se alt med Pierre-Loic Garoche ( t.ex. Inbunden Bok och Pocketbok )