|
- Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (Paperback, 2017)
- 토비 월시, Serge Gaspers (엮은이)
- Springer | 2017년 08월 | 2017년 08월
- 78,390원 (18% 할인 / 3,920원)
- 택배로 주문하면 2월 7일 출고 변경
|
|