|
- Automated Technology for Verification and Analysis: 20th International Symposium, Atva 2022, Virtual Event, October 25-28, 2022, Proceedings (Paperback, 2022)
- Ahmed Bouajjani, Luka Holik, Zhilin Wu (엮은이)
- Springer | 2022년 10월 | 2022년 10월
- 122,540원 (18% 할인 / 6,130원)
- 택배로 주문하면 11월 11일 출고 변경
|
|