이전
전체보기

알라딘

장바구니
Grigore Rosu의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Paperback)
  • Dana Fisman, Grigore Rosu (엮은이)
  • Springer | 2022년 03월
  • 61,480원 (18% 할인 / 3,080원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, USA, Augus (Paperback, 2006)
  • Grigore Rosu, Klaus Havelund, Manuel N?ez (엮은이)
  • Springer-Verlag New York Inc | 2006년 12월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, (Paperback, 2012)
  • Holger Giese, Grigore Rosu (엮은이)
  • Springer-Verlag New York Inc | 2012년 05월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, USA, July 28-31, 2008, Proceedings (Paperback, 2008)
  • Jose Meseguer, Grigore Rosu (엮은이)
  • Springer-Verlag New York Inc | 2008년 07월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Paperback, 2022)
  • Grigore Rosu, Owolabi Legunsen (엮은이)
  • Springer | 2022년 08월
  • 164,490원 (18% 할인 / 8,230원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Paperback)
  • Dana Fisman, Grigore Rosu (엮은이)
  • Springer | 2022년 03월
  • 61,480원 (18% 할인 / 3,080원)
  • 택배로 주문하면 8월 5일 출고 변경

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

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

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

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

1:1 문의

FAQ

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