|
- Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings (Paperback, 2001)
- Gerard Berry, A. Finkel, H. Comon (엮은이)
- Springer Verlag | 2001년 07월 | 2001년 07월
- 154,750원 (18% 할인 / 7,740원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
