Data Refinement: Model-Oriented Proof Methods and their Comparison
まだ評価がありません
Jan 28, 1999
·
英語
·
ハードカバー
(436 ページ)