|
- Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper (Paperback, 2012) - 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- German Vidal (엮은이)
- Springer-Verlag New York Inc | 2012년 10월 | 2012년 10월
- 71,190원 (18% 할인 / 3,560원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
