|
- Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce (Paperback, 2020)
- Dirk Beyer, Damien Zufferey (엮은이)
- Springer | 2020년 02월 | 2020년 02월
- 122,980원 (18% 할인 / 6,150원)
- 택배로 주문하면 11월 14일 출고 변경
|
|
