Formal Specification and Documentation Using Z: A Case Study Approach
还没有评分
1996
·
英语
·
平装书