|
- 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월
- 117,260원 (10% 할인 / 3,520원)
- 택배로 주문하면 7월 19일 출고 변경
|
|
