On the Refinement Calculus
まだ評価がありません
Dec 27, 1994
·
英語
·
ペーパーバック
(176 ページ)