|
- Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Paperback)
- Robert B. Jones, Thomas Ball (엮은이)
- Springer-Verlag New York Inc | 2006년 08월 | 2006년 08월
- 154,750원 (18% 할인 / 7,740원)
- 택배로 주문하면 12월 2일 출고 변경
|
|