Formal Verification of Control System Software
Formal Verification of Control System Software PDF book is popular Mathematics book written by Pierre-Loïc Garoche. The book was released by Princeton University Press on 2019-05-14 with total hardcover pages 230. Fast download link is given in this page, you could read Formal Verification of Control System Software by Pierre-Loïc Garoche in PDF, epub and kindle directly from your devices.
Formal Verification of Control System Software
-
Formal Verification of Control System Software Book Detail
- Author : Pierre-Loïc Garoche
- Release Date : 2019-05-14
- Publisher : Princeton University Press
- Genre : Mathematics
- Pages : 230
- ISBN 13 : 0691181306
- File Size : 70,70 MB