|
- Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Paperback, 2005)
- Kousha Etessami, Sriram K. Rajamani (엮은이)
- Springer-Verlag New York Inc | 2005년 06월 | 2005년 06월
- 152,700원 (18% 할인 / 7,640원)
- 택배로 주문하면 11월 4일 출고 변경
|
|