The book is currently out of stock
Parameters
Book purchase
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Language
- Released
- 1993
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.