2
Paula Herber의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Integrated Formal Methods: 18th International Conference, Ifm 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Paperback, 2024)
  • Paula Herber, Anton Wijs (엮은이)
  • Springer | 2023년 11월
  • 199,780원 (10% 할인 / 9,990원)
  • 택배로 주문하면 2025년 1월 16일 출고 변경
  • A Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata (Paperback)
  • Paula Herber
  • Logos Verlag Berlin | 2010년 06월
  • 113,220원 (10% 할인 / 3,400원)
  • 택배로 주문하면 2025년 1월 15일 출고 변경

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

뒤로가기
위로가기