|
- Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Paperback, 1995)
- G. Goos, J. Hartmanis, Pierre Wolper (엮은이)
- Springer Verlag | 1995년 06월 | 1995년 06월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 11월 25일 출고 변경
|
|
