The book is currently out of stock
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Authors
Book variant
1999Book purchase
The book is currently out of stock.
1999We have over a million books in stock
1999We have over a million books in stock
1999