|
- 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월
- 165,590원 (18% 할인 / 8,280원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
