|
- [외국도서] Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi (Paperback)
- Zhe Hou, Vijay Ganesh (엮은이)
- Springer | 2021년 10월 | 2021년 10월
- 114,520원 (18% 할인 / 5,730원)
- 택배로 주문하면 10월 15일 출고 변경
|
|