The book is currently out of stock
Predicate diagrams as basis for the verification of reactive systems
Authors
Book variant
2004Book purchase
The book is currently out of stock.
2004We have over a million books in stock
2004We have over a million books in stock
2004