이전
전체보기

알라딘

장바구니
Luigia Petre의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • From Action Systems to Distributed Systems: The Refinement Approach (Hardcover)
  • Emil Sekerinski, Luigia Petre (엮은이)
  • CRC Press | 2016년 04월
  • 310,160원 (18% 할인 / 15,510원)
  • 택배로 주문하면 7월 19일 출고 변경
  • Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings. (Paperback, 2002)
  • K. Sere, Luigia Petre , 마이클 버틀러 (엮은이)
  • Springer Verlag | 2002년 05월
  • 82,230원 (18% 할인 / 4,120원)
  • 택배로 주문하면 7월 30일 출고 변경
  • Formal Methods Teaching: Third International Workshop and Tutorial, Fmtea 2019, Held as Part of the Third World Congress on Formal Methods, FM (Paperback, 2019)
  • Graeme Smith, Luigia Petre, Brijesh Dongol (엮은이)
  • Springer Verlag | 2019년 10월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 7월 30일 출고 변경
  • Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings (Paperback, 2013) - 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings
  • Luigia Petre, Einar Broch Johnsen (엮은이)
  • Springer-Verlag New York Inc | 2013년 05월
  • 82,230원 (18% 할인 / 4,120원)
  • 택배로 주문하면 7월 30일 출고 변경

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

뒤로가기
위로가기