|
- [외국도서] Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape (Paperback, 2014)
- Daniel Kroening, Dimitra Giannakopoulou (엮은이)
- Springer-Verlag New York Inc | 2014년 10월 | 2014년 10월
- 73,300원 (18% 할인 / 3,670원)
- 택배로 주문하면 11월 11일 출고 변경
|
|
