Data Refinement: Model-Oriented Proof Methods and their Comparison
아직 평점이 없습니다
Jan 28, 1999
·
영어
·
하드커버
(436 페이지)