Cesar Munoz의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Kb3d Reference Manual: Version 1.a (Paperback)
  • Cesar Munoz
  • Bibliogov | 2013년 07월
  • 21,950원 (18% 할인 / 1,100원)
  • 택배로 주문하면 10월 29일 출고 변경
  • NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings (Paperback, 2018)
  • Cesar Munoz, Aaron Dutle, Anthony Narkawicz (엮은이)
  • Springer | 2018년 03월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 11월 6일 출고 변경
  • Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, USA, August 20-23, 2002. Proceedings (Paperback, 2002)
  • Cesar Munoz (엮은이)
  • Springer Verlag | 2002년 08월
  • 81,680원 (18% 할인 / 4,090원)
  • 택배로 주문하면 11월 6일 출고 변경

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

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내