|
- Automated Technology for Verification and Analysis: 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings (Paperback, 2015)
- Bernd Finkbeiner, Geguang Pu, Lijun Zhang (엮은이)
- Springer | 2015년 11월 | 2015년 11월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 8월 7일 출고 변경
|
|
