|
- Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Paperback, 2012) - 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
- Alessandro Cimatti, Roberto Sebastiani (엮은이)
- Springer-Verlag New York Inc | 2012년 06월 | 2012년 06월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 9월 9일 출고 변경
|
|