Marieke Huisman의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Concise Guide to Software Verification (Paperback) - From Model Checking to Annotation Checking
  • Marieke Huisman
  • Springer Nature B.V. | 2023년 07월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback)
  • Marieke Huisman, Jan Friso Groote (엮은이)
  • Springer | 2022년 08월
  • 116,670원 (18% 할인 / 5,840원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Paperback)
  • Marieke Huisman
  • Creative Media Partners, LLC | 2020년 10월
  • 91,260원 (10% 할인 / 4,570원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Paperback, 2016)
  • Marieke Huisman, Erika Abraham (엮은이)
  • Springer | 2016년 05월
  • 124,620원 (18% 할인 / 6,240원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 9-10, 2024, Proceedings (Paperback, 2025)
  • Marieke Huisman, Falk Howar (엮은이)
  • Springer | 2024년 09월
  • 220,480원 (10% 할인 / 6,620원)
  • 택배로 주문하면 11월 13일 출고 변경
  • Concise Guide to Software Verification: From Model Checking to Annotation Checking (Paperback, 2023)
  • Marieke Huisman, Anton Wijs
  • Springer | 2024년 07월
  • 93,460원 (18% 할인 / 4,680원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (Paperback, 2018)
  • Marieke Huisman, Dirk Beyer (엮은이)
  • Springer | 2018년 04월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and (Paperback, 2017)
  • Marieke Huisman, Julia Rubin (엮은이)
  • Springer | 2017년 03월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, (Paperback, 2005)
  • Gilles Barthe, Lilian Burdy, Marieke Huisman (엮은이)
  • Springer Verlag | 2005년 01월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Formal Techniques for Distributed Objects, Components, and Systems (Paperback) - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques
  • Marieke Huisman
  • Springer Nature B.V. | 2023년 06월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (Paperback, 2023)
  • Marieke Huisman, Ant?io Ravara (엮은이)
  • Springer | 2023년 06월
  • 116,670원 (18% 할인 / 5,840원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Concise Guide to Software Verification: From Model Checking to Annotation Checking (Hardcover, 2023)
  • Marieke Huisman, Anton Wijs
  • Springer | 2023년 07월
  • 124,620원 (18% 할인 / 6,240원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback)
  • Marieke Huisman, Corina Pasareanu, Naijun Zhan (엮은이)
  • Springer | 2021년 11월
  • 171,360원 (18% 할인 / 8,570원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (Paperback, 2018)
  • Marieke Huisman, Dirk Beyer (엮은이)
  • Springer | 2018년 04월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Hardcover)
  • Marieke Huisman
  • Creative Media Partners, LLC | 2020년 10월
  • 110,160원 (10% 할인 / 5,510원)
  • 택배로 주문하면 11월 18일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (Paperback, 2019)
  • Fabrice Kordon, Marieke Huisman, Dirk Beyer (엮은이)
  • Springer | 2019년 04월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경

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

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

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

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

1:1 문의

FAQ

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