Logic-Based Program Synthesis and Transformation
还没有评分
Feb 27, 2009
·
英语
·
平装书
(194 页数)