Klaus Havelund의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, Tacas 2014, Held as Part of the European Joint Confe (Paperback, 2014)
  • Klaus Havelund, Erika Abraham (엮은이)
  • Springer-Verlag New York Inc | 2014년 03월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 10일 출고 변경
  • 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,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 10일 출고 변경
  • NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Paperback)
  • Klaus Havelund, IVAN PEREZ, Jyotirmoy Deshmukh (엮은이)
  • Springer | 2022년 05월
  • 212,420원 (18% 할인 / 10,630원)
  • 택배로 주문하면 10월 10일 출고 변경
  • Using Runtime Analysis to Guide Model Checking of Java Programs (Paperback)
  • Klaus Havelund
  • Bibliogov | 2013년 08월
  • 20,250원 (18% 할인 / 1,020원)
  • 택배로 주문하면 9월 27일 출고 변경
  • Java Pathfinder User Guide (Paperback)
  • Klaus Havelund
  • Bibliogov | 2013년 08월
  • 21,630원 (18% 할인 / 1,090원)
  • 택배로 주문하면 9월 20일 출고 변경
  • NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Paperback, 2015)
  • Klaus Havelund, Gerard Holzmann, Rajeev Joshi (엮은이)
  • Springer | 2015년 04월
  • 81,680원 (18% 할인 / 4,090원)
  • 택배로 주문하면 10월 10일 출고 변경
  • NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Paperback)
  • Klaus Havelund, Gerard Holzmann, Mihaela Bobaru (엮은이)
  • Springer | 2011년 04월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 10일 출고 변경
  • Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15- (Paperback, 2018)
  • Klaus Havelund, Bill Roscoe, Jan Peleska (엮은이)
  • Springer | 2018년 07월
  • 137,430원 (18% 할인 / 6,880원)
  • 택배로 주문하면 10월 10일 출고 변경

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

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

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

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

1:1 문의

FAQ

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