The book is currently out of stock

Book purchase
Predicate diagrams as basis for the verification of reactive systems, Cecilia E. Nugraheni
- Language
- Released
- 2004
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
Predicate diagrams as basis for the verification of reactive systems, Cecilia E. Nugraheni
No one has rated yet.