Search by: ISBN Title Author

The Way of Z: Practical Programming with Formal Methods

by Jonathan Jacky

ISBN-10: 0521559766
ISBN-13: 9780521559768

2 users are currently selling this book.

or buy this book from Amazon »

$25.00

Good condition

Seller Comments: Used book, with pencil writing in the margins.
Contact Seller to Buy Submitted November 30, 2008

$27.00

excellent condition

Seller Comments: Very slightly used, but a good investment for the class.
Contact Seller to Buy Submitted February 25, 2007