Kim Guldstrand Larsen의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe (Paperback, 2021)
  • Jan Friso Groote, Kim Guldstrand Larsen (엮은이)
  • Springer | 2021년 03월
  • 61,070원 (18% 할인 / 3,060원)
  • 택배로 주문하면 10월 29일 출고 변경
  • Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Paperback, 2019)
  • Kim Guldstrand Larsen, Tim Willemse (엮은이)
  • Springer | 2019년 07월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 29일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe (Paperback, 2021)
  • Jan Friso Groote, Kim Guldstrand Larsen (엮은이)
  • Springer | 2021년 03월
  • 61,070원 (18% 할인 / 3,060원)
  • 택배로 주문하면 10월 29일 출고 변경

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

뒤로가기
위로가기