|
- Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Paperback)
- Susanne Graf, Wenhui Zhang (엮은이)
- Springer-Verlag New York Inc | 2006년 10월 | 2006년 10월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 9월 10일 출고 변경
|
|