|
- [외국도서] Automated Technology for Verification and Analysis: 21st International Symposium, Atva 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Paperback, 2023)
- Jun Sun, Andr? ?ienne (엮은이)
- Springer | 2023년 10월 | 2023년 10월
- 116,410원 (10% 할인 / 3,500원)
- 택배로 주문하면 8월 20일 출고 변경
|
|
