Program Development by Refinement: Case Studies Using the B Method
아직 평점이 없습니다
Oct 23, 1998
·
영어
·
페이퍼백
(388 페이지)