|
- [외국도서] Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings (Paperback, 2008)
- Aarti Gupta, Sharad Malik (엮은이)
- Springer-Verlag New York Inc | 2008년 06월 | 2008년 06월
- 155,780원 (18% 할인 / 7,790원)
- 택배로 주문하면 8월 21일 출고 변경
|
|
