Program Development by Refinement: Case Studies Using the B Method
まだ評価がありません
Jan 1, 2012
·
英語
·
キンドル
(388 ページ)