|
- [외국도서] Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedi (Paperback, 2019)
- Ruzica Piskac, Constantin Enea (엮은이)
- Springer | 2019년 01월 | 2019년 01월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 11월 11일 출고 변경
|
|
