|
- 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월
- 152,700원 (18% 할인 / 7,640원)
- 택배로 주문하면 10월 23일 출고 변경
|
|