Program Development by Refinement: Case Studies Using the B Method
还没有评分
Oct 23, 1998
·
英语
·
平装书
(388 页数)