Freek Wiedijk의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers (Paperback, 2003)
  • Freek Wiedijk, Herman Geuvers
  • Springer-Verlag New York Inc | 2003년 04월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 22일 출고 변경
  • Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday (Paperback, 2024)
  • Freek Wiedijk, Venanzio Capretta, Robbert Krebbers (엮은이)
  • Springer | 2024년 05월
  • 204,730원 (10% 할인 / 6,150원)
  • 택배로 주문하면 11월 12일 출고 변경
  • Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Paperback, 2003)
  • Amir Pnueli, Oded Maler, Freek Wiedijk
  • Springer Verlag | 2003년 03월
  • 166,680원 (18% 할인 / 8,340원)
  • 택배로 주문하면 11월 22일 출고 변경

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

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

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

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

1:1 문의

FAQ

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