|
- Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedi (Paperback)
- Neil D. Jones (엮은이)
- Springer Verlag | 2008년 12월 | 2008년 12월
- 82,230원 (18% 할인 / 4,120원)
- 택배로 주문하면 11월 15일 출고 변경
|
|