Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Books - Princeton University Press - 9780691181301 - May 14, 2019
In case cover and title do not match, the title is correct

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

Pierre-Loic Garoche

Price
Íkr 10,119
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 19 - Dec 2
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

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 Books     Hardcover Book   (Book with hard spine and cover)
Released May 14, 2019
ISBN13 9780691181301
Publishers Princeton University Press
Pages 232
Dimensions 243 × 163 × 15 mm   ·   536 g
Language English  
Show all

More by Pierre-Loic Garoche

See all of Pierre-Loic Garoche ( e.g. Hardcover Book and Paperback Book )