|
- FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Paperback, 2006)
- Tobias Nipkow, Jayadev Misra, Emil Sekerinski (엮은이)
- Springer-Verlag New York Inc | 2006년 08월 | 2006년 08월
- 156,800원 (18% 할인 / 7,840원)
- 택배로 주문하면 2월 7일 출고 변경
|
|