|
- Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Paperback, 2002)
- Kim G. Larsen, E. Brinksma (엮은이)
- Springer Verlag | 2002년 07월 | 2002년 07월
- 163,390원 (18% 할인 / 8,170원)
- 택배로 주문하면 10월 14일 출고 변경
|
|