Wordsworth, J.
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 29th June 1992
- Publisher
- Addison Wesley
- ISBN-10
- 0201627574
- ISBN-13
- 9780201627572
To reserve this book you first need to set your reservation location.