|
- Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Paperback, 2013) - 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
- C. R. Ramakrishnan, Ezio Bartocci (엮은이)
- Springer-Verlag New York Inc | 2013년 07월 | 2013년 07월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 11월 21일 출고 변경
|
|