이전
전체보기

알라딘

장바구니
Maurice H. Ter Beek의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Paperback, 2020)
  • Maurice H. Ter Beek, Dejan Ničkovic (엮은이)
  • Springer | 2020년 08월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conf (Paperback)
  • Marjan Sirjani, Maurice H. Ter Beek (엮은이)
  • Springer | 2022년 07월
  • 200,030원 (18% 할인 / 10,010원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Coordination Models and Languages (Hardcover) - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Tec
  • Marjan Sirjani, Maurice H. Ter Beek (엮은이)
  • Springer | 2022년 08월
  • 101,250원 (18% 할인 / 5,070원)
  • 택배로 주문하면 8월 19일 출고 변경
  • Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Paperback)
  • Maurice H. Ter Beek, Rosemary Monahan (엮은이)
  • Springer | 2022년 06월
  • 116,830원 (18% 할인 / 5,850원)
  • 택배로 주문하면 8월 22일 출고 변경
  • From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Paperback, 2019)
  • Alessandro Fantechi, Maurice H. Ter Beek, Laura Semini (엮은이)
  • Springer | 2019년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 (Paperback, 2016)
  • Alexander Knapp, Stefania Gnesi, Maurice H. Ter Beek (엮은이)
  • Springer | 2016년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Paperback, 2013)
  • Maurice H. Ter Beek, Niels Lohman (엮은이)
  • Springer-Verlag New York Inc | 2013년 04월
  • 71,660원 (18% 할인 / 3,590원)
  • 택배로 주문하면 8월 22일 출고 변경

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

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

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

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

1:1 문의

FAQ

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