|
- Automated Technology for Verification and Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Paperback, 2019)
- Javier Esparza, Chen Yu-Fang, Chih-Hong Cheng (엮은이)
- Springer | 2019년 10월 | 2019년 10월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 2월 21일 출고 변경
|
|
