|
- [외국도서] Computer Aided Verification (Paperback) - Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings
- G. Von Bochmann , D. K. Probst (엮은이)
- Springer Verlag | 1994년 08월 | 1994년 08월
- 121,030원 (18% 할인 / 6,060원)
- 택배로 주문하면 11월 20일 출고 변경
|
|
