Search
ComputingReviews.com
Formal verification of control system software
Garoche P., PRINCETON UNIVERSITY PRESS,Princeton, NJ,2019. 224 pp. Type:Book
Published By:
PRINCETON UNIVERSITY PRESS
You can purchase a book without having a subscription.
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy