Logic-Based Program Synthesis and Transformation
아직 평점이 없습니다
Feb 27, 2009
·
영어
·
페이퍼백
(194 페이지)