Jim Woodcock, Woodcock, Jim, J. C. P., Davies
Using Z : Specification, Refinement, and Proof
- Availability
- To see availability please select your region.
- Books2Africa Collection
- Subjects
- Author(s)
- Published
- 30th April 1996
- Publisher
- Prentice Hall
- ISBN-10
- 0139484728
- ISBN-13
- 9780139484728
To reserve this book you first need to set your reservation location.