The book is currently out of stock
Parameters
Book purchase
Predicate diagrams as basis for the verification of reactive systems, Cecilia E. Nugraheni
- Language
- Released
- 2004
We’ll notify you via email once we track it down.
Payment methods
No one has rated yet.