The book is currently out of stock
Modular specification and verification of object oriented programs
Authors
Book variant
2002Book purchase
The book is currently out of stock.
2002We have over a million books in stock
2002We have over a million books in stock
2002