The book is currently out of stock
Book purchase
Verification of infinite state systems using Presburger arithmetic, Tobias Schüle
- Language
- Released
- 2007
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.