Pierre-Loïc Garoche – författare
Visar alla böcker från författaren Pierre-Loïc Garoche. Handla med fri frakt och snabb leverans.
2 produkter
Formal Verification of Control System Software
Inbunden, 2019
605 kr
Lägg i varukorg
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 …
Formal Verification of Control System Software
E-bok, 2019
827 kr
Lägg i varukorg
An essential introduction to the analysis and verification of control system software The 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 …
