|
- 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,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 9월 6일 출고 변경
|
|