|
- Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III (Paperback, 2024)
- Vijay Ganesh , Arie Gurfinkel (엮은이)
- Springer | 2024년 07월 | 2024년 07월
- 83,230원 (10% 할인 / 2,500원)
- 택배로 주문하면 1월 13일 출고 변경
|
|