Program Development by Refinement: Case Studies Using the B Method
尚無評分
Jan 1, 2012
·
英語
·
Kindle
(388 頁數)