Formal Specification and Documentation Using Z: A Case Study Approach
还没有评分
Jan 1, 1996
·
英语
·
平装书
(302 页数)