Dana Fisman의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Paperback)
  • Dana Fisman, Grigore Rosu (엮은이)
  • Springer | 2022년 03월
  • 61,070원 (18% 할인 / 3,060원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Paperback)
  • Dana Fisman, Grigore Rosu (엮은이)
  • Springer | 2022년 03월
  • 61,070원 (18% 할인 / 3,060원)
  • 택배로 주문하면 10월 16일 출고 변경
  • Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings (Paperback)
  • Dana Fisman, Feng Lu (엮은이)
  • Springer | 2021년 10월
  • 114,520원 (18% 할인 / 5,730원)
  • 택배로 주문하면 10월 16일 출고 변경

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

뒤로가기
위로가기