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월
  • 62,300원 (18% 할인 / 3,120원)
  • 택배로 주문하면 11월 21일 출고 변경
  • 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월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 21일 출고 변경
  • 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월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 21일 출고 변경
  • 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월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 21일 출고 변경
  • Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Paperback, 2022)
  • Grigore Rosu, Owolabi Legunsen (엮은이)
  • Springer | 2022년 08월
  • 166,680원 (18% 할인 / 8,340원)
  • 택배로 주문하면 11월 21일 출고 변경
  • 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월
  • 62,300원 (18% 할인 / 3,120원)
  • 택배로 주문하면 11월 21일 출고 변경

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

뒤로가기
위로가기