|
- Automated Technology for Verification and Analysis (Paperback) - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Jin-Young Choi, Ph.D. , Sungdeok Cha (엮은이)
- Springer-Verlag New York Inc | 2008년 10월 | 2008년 10월
- 82,780원 (18% 할인 / 4,140원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
