|
- Verification, Model Checking, and Abstract Interpretation: 15th International Conference, Vmcai 2014, San Diego, CA, USA, January 19-21, 2014, Proceed (Paperback, 2014) - 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
- Kenneth McMillan, Xavier Rival
- Springer-Verlag New York Inc | 2014년 01월 | 2014년 01월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 7월 22일 출고 변경
|
|