|
- Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, Usa, October 23-24, 2023, Revised Selected Pa (Paperback, 2024)
- Andrew Reynolds, Serdar Tasiran (엮은이)
- Springer | 2024년 08월 | 2024년 08월
- 85,980원 (10% 할인 / 2,580원)
- 예약판매
- 택배로 주문하면 8월 30일 출고 변경
|
|