Data Refinement: Model-Oriented Proof Methods and their Comparison
还没有评分
Jan 28, 1999
·
英语
·
精装书
(436 页数)