|
- Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback)
- Natarajan Shankar, Jim Woodcock (엮은이)
- Springer Verlag | 2008년 09월 | 2008년 09월
- 81,680원 (18% 할인 / 4,090원)
- 택배로 주문하면 11월 1일 출고 변경
|
|
