|
- 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년 07월 | 2024년 07월
- 90,310원 (10% 할인 / 2,710원)
- 택배로 주문하면 2025년 1월 6일 출고 변경
|
|