|
- Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Paperback, 2011)
- Ganesh Gopalakrishnan, Shaz Qadeer (엮은이)
- Springer-Verlag New York Inc | 2011년 07월 | 2011년 07월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 11월 28일 출고 변경
|
|
