|
- Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Paperback)
- Isil Dillig, Tasiran Serdar Tasiran (엮은이)
- Springer Nature B.V. | 2019년 07월 | 2019년 07월
- 62,530원 (10% 할인 / 3,130원)
- 택배로 주문하면 11월 25일 출고 변경
|
|
