The book is currently out of stock
Book purchase
Symbolic methods applied to formal verification and synthesis in embedded systems design, Karsten Strehl
- Language
- Released
- 2000
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.