Systematic software development using VDM
まだ評価がありません
Jan 1, 1990
·
英語
·
ペーパーバック
(300 ページ)