|
- 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월
- 152,700원 (18% 할인 / 7,640원)
- 택배로 주문하면 10월 16일 출고 변경
|
|