Data Refinement: Model-Oriented Proof Methods and their Comparison
尚無評分
Jan 28, 1999
·
英語
·
精裝書
(436 頁數)