All books / Book
Formal Verification of Control System Software (Princeton Series in Applied Mathematics)
| Full title: | Formal Verification of Control System Software (Princeton Series in Applied Mathematics) |
|---|---|
| ISBN: | 9780691181301 |
| ISBN 10: | 0691181306 |
| Authors: | Garoche, Pierre-Loïc |
| Publisher: | Princeton University Press |
| Num. pages: | 232 |
| Binding: | Hardcover |
| Language: | en_US |
| Published on: | 2019-05-14T00:00:01Z |
Read the reviews and/or buy it on Amazon.com
