|
- [외국도서] Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Paperback, 2020)
- Dang Van Hung, Oleg Sokolsky (엮은이)
- Springer | 2020년 10월 | 2020년 10월
- 81,680원 (18% 할인 / 4,090원)
- 택배로 주문하면 10월 10일 출고 변경
|
|