|
- 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월
- 86,600원 (10% 할인 / 2,600원)
- 택배로 주문하면 11월 15일 출고 변경
|
|