|
- [외국도서] Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings (Paperback, 1997)
- Orna Grumberg (엮은이)
- Springer-Verlag New York Inc | 1997년 06월 | 1997년 06월
- 81,680원 (18% 할인 / 4,090원)
- 택배로 주문하면 10월 30일 출고 변경
|
|