|
- 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월
- 154,750원 (18% 할인 / 7,740원)
- 택배로 주문하면 2월 21일 출고 변경
|
|
