Formal Specification and Documentation Using Z: A Case Study Approach
尚無評分
1996
·
英語
·
平裝書