The book is currently out of stock
A mechanized logical model of Z and object oriented specification
Authors
Book variant
2000Book purchase
The book is currently out of stock.
2000We have tens of thousands of books in stock.
2000We have tens of thousands of books in stock.
2000