Pastāsti draugiem par šo preci:
Formal Verification of Control System Software - Princeton Series in Applied Mathematics Pierre-Loic Garoche
Cena
€ 82,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 2. - 16. okt.
Saņemiet paziņojumus par jauniem Pierre-Loic Garoche izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2019. gada 14. maijs |
| ISBN13 | 9780691181301 |
| Izdevēji | Princeton University Press |
| Lapas | 232 |
| Izmēri | 243 × 163 × 15 mm · 521 g |
| Valoda | Angļu |
