|
- Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Paperback)
- Peter Muller, Andreas Podelski, Rajeev Joshi (엮은이)
- Springer-Verlag New York Inc | 2012년 01월 | 2012년 01월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 12월 5일 출고 변경
|
|