|
- 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월
- 115,800원 (18% 할인 / 5,790원)
- 택배로 주문하면 10월 21일 출고 변경
|
|