|
- 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월
- 124,620원 (18% 할인 / 6,240원)
- 택배로 주문하면 2025년 1월 20일 출고 변경
|
|