Formal Specification and Documentation Using Z: A Case Study Approach
No ratings yet
Jan 1, 1996
·
English
·
Paperback
(302 pages)