|
- Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Paperback)
- Deepak D'souza, Akash Lal, Larsen Kim Guldstrand Larsen (엮은이)
- Springer Nature B.V. | 2015년 01월 | 2015년 01월
- 66,130원 (10% 할인 / 3,310원)
- 택배로 주문하면 2월 14일 출고 변경
|
|