6
Tom Melham의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, UK, August 22-25, 2005, Proceedings (Paperback, 2005)
  • Joe Hurd, Tom Melham (엮은이)
  • Springer-Verlag New York Inc | 2005년 08월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 25일 출고 변경
  • Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, UK, Septem (Paperback, 2001)
  • Tom Melham
  • Springer Verlag | 2001년 08월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 25일 출고 변경

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

뒤로가기
위로가기