|
- Automated Technology for Verification and Analysis: 22nd International Symposium, Atva 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II (Paperback)
- Sriram Sankaranarayanan, S. Akshay, Aina Niemetz (엮은이)
- Springer | 2025년 03월 | 2025년 03월
- 275,380원 (10% 할인 / 8,270원)
- 택배로 주문하면 2월 18일 출고 변경
|
|
