Program Development by Refinement: Case Studies Using the B Method
尚無評分
Oct 23, 1998
·
英語
·
平裝書
(388 頁數)