Vinkkaa tuotetta kavereillesi:
Formal Verification of Control System Software - Princeton Series in Applied Mathematics
Pierre-Loic Garoche
Hinta
€ 77,49
Tilattu etävarastosta
Arvioitu toimitus to - ma 18. - 29. syys
Lisää iMusic-toivelistallesi
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.
| 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 | English |
Näytä kaikki
Lisää tuotteita Pierre-Loic Garoche
Katso kaikki joka sisältää Pierre-Loic Garoche ( Esim. Hardcover Book Ja Paperback Book )