|
- 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월
- 115,290원 (18% 할인 / 5,770원)
- 택배로 주문하면 11월 14일 출고 변경
|
|