Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title


Formal Verification of Control System Software

Formal Verification of Control System Software( )
Author: Garoche, Pierre-Loïc
Series title:Princeton Series in Applied Mathematics
Publication Date:Apr 2019
Publisher:Princeton University Press
Book Format:Hardback
List Price:AUD $125.00
Book Description:

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 their lives. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal...
More Description

Book Details
Detailed Subjects: Mathematics / General
Physical Dimensions (W X L X H):15.9 x 24 x 1.937 cm
Book Weight:0.53 Kilograms

Featured Books

Pride and Prejudice
Austen, Jane
Paperback: $10.97
In the Dream House
Machado, Carmen Maria
Hardback: $26.00
Stay Close
Coben, Harlan
Paperback: $9.99

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.