Logic-Based Program Synthesis and Transformation
尚無評分
Feb 27, 2009
·
英語
·
平裝書
(194 頁數)