Specifying system implementations in Z
We couldn't estimate the reading time for this book.
Author
Contributions
- Gimson, Roger. - Contributor
- Topp-Jorgenson, Stig. - Contributor
- Oxford University Computing Laboratory. Programming Research Group. - Contributor
Publication
1988 - OxfordUniversity Computing Laboratory, Programming Research Group, Oxford, United Kingdom
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-100902928457
- ISBN-139780902928459
- Open LibraryOL21090653M
Subjects
Series Statement
- Technical monograph -- PRG-63
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!