The book is currently out of stock
Parameters
Book purchase
An approach to the creation of precise, intelligible problem specifications of large reactive systems, Martin Kronenburg
- Language
- Released
- 2001
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.