|
- [외국도서] NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Paperback)
- Klaus Havelund, IVAN PEREZ, Jyotirmoy Deshmukh (엮은이)
- Springer | 2022년 05월 | 2022년 05월
- 212,420원 (18% 할인 / 10,630원)
- 택배로 주문하면 10월 15일 출고 변경
|
|