Program Development by Refinement: Case Studies Using the B Method
まだ評価がありません
Oct 23, 1998
·
英語
·
ペーパーバック
(388 ページ)