Logic-Based Program Synthesis and Transformation
まだ評価がありません
Feb 27, 2009
·
英語
·
ペーパーバック
(194 ページ)