|
- Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Procee (Paperback)
- Isil Dillig, Palsberg Jens Palsberg (엮은이)
- Springer Nature B.V. | 2018년 01월 | 2018년 01월
- 62,980원 (10% 할인 / 3,150원)
- 택배로 주문하면 11월 25일 출고 변경
|
|
