15
Doron Peled의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, USA, July 13-17, 2004, Proceedings (Paperback, 2004)
  • Doron Peled, Rajeev Alur (엮은이)
  • Springer-Verlag New York Inc | 2004년 06월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 10월 7일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기