Fortæl dine venner om denne vare:
Formal Verification of Control System Software - Princeton Series in Applied Mathematics
Pierre-Loic Garoche
Pris
₩ 143.000
Bestilles fra fjernlager
Forventes klar til forsendelse 17. - 24. sep.
Tilføj til din iMusic ønskeseddel
Eller
Formal Verification of Control System Software - Princeton Series in Applied Mathematics
Pierre-Loic Garoche
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.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 14. maj 2019 |
| ISBN13 | 9780691181301 |
| Forlag | Princeton University Press |
| Antal sider | 232 |
| Mål | 243 × 163 × 15 mm · 536 g |
| Sprog | Engelsk |
Vis alle
Mere med Pierre-Loic Garoche
Se alt med Pierre-Loic Garoche ( f.eks. Hardcover bog og Paperback Bog )