Stephan Merz의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings (Paperback, 2010)
  • Stephan Merz, Dominique Mery (엮은이)
  • Springer-Verlag New York Inc | 2010년 10월
  • 82,780원 (18% 할인 / 4,140원)
  • 택배로 주문하면 11월 29일 출고 변경
  • [eBook Code] Modeling and Verification of Real-time Systems (eBook Code, 1st) - Formalisms and Software Tools
  • Nicolas Navet, Stephan Merz (엮은이)
  • Wiley-ISTE | 2013년 03월
  • 305,740원 (20% 할인)
  • 택배로 주문하면 11월 13일 출고 변경
  • [eBook Code] Modeling and Verification of Real-time Systems (eBook Code, 1st) - Formalisms and Software Tools
  • Nicolas Navet, Stephan Merz (엮은이)
  • Wiley-ISTE | 2013년 03월
  • 305,740원 (20% 할인)
  • 택배로 주문하면 11월 13일 출고 변경
  • [eBook Code] Modeling and Verification of Real-time Systems (eBook Code, 1st) - Formalisms and Software Tools
  • Nicolas Navet, Stephan Merz (엮은이)
  • Wiley-ISTE | 2010년 01월
  • 305,740원 (20% 할인)
  • 택배로 주문하면 11월 13일 출고 변경
  • Interactive Theorem Proving: 7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings (Paperback, 2016)
  • Stephan Merz, Jasmin Christian Blanchette (엮은이)
  • Springer | 2016년 08월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 11월 29일 출고 변경
  • Temporal Logic and State Systems (Paperback)
  • Stephan Merz, Fred Kroger
  • Springer | 2010년 11월
  • 124,180원 (18% 할인 / 6,210원)
  • 택배로 주문하면 11월 29일 출고 변경
  • Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5 (Paperback, 2014)
  • Stephan Merz, Jun Pang (엮은이)
  • Springer-Verlag New York Inc | 2014년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 11월 29일 출고 변경

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

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

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

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

1:1 문의

FAQ

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