이전
전체보기

알라딘

장바구니
Etienne Andre의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Formal Modeling and Analysis of Timed Systems: 17th International Conference, Formats 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceeding (Paperback, 2019)
  • Etienne Andre, Marielle Stoelinga (엮은이)
  • Springer | 2019년 08월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedin (Paperback)
  • Etienne Andre, Marielle Stoelinga (엮은이)
  • Springer Nature B.V. | 2019년 08월
  • 62,530원 (10% 할인 / 3,130원)
  • 택배로 주문하면 7월 29일 출고 변경
  • The Inverse Method : Parametric Verification of Real-time Unbedded Systems (Hardcover)
  • Romain Soulat, Etienne Andre
  • Wiley-ISTE | 2013년 01월
  • 253,520원 (18% 할인 / 12,680원)
  • 택배로 주문하면 7월 29일 출고 변경

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

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

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

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

1:1 문의

FAQ

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