The book is currently out of stock
Book purchase
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taiwe
- Language
- Released
- 1999
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
Explore the latest books of this year!
