2
Vijay Ganesh의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III (Paperback, 2024)
  • Vijay Ganesh , Arie Gurfinkel (엮은이)
  • Springer | 2024년 07월
  • 83,230원 (10% 할인 / 2,500원)
  • 택배로 주문하면 1월 13일 출고 변경
  • Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi (Paperback)
  • Zhe Hou, Vijay Ganesh (엮은이)
  • Springer | 2021년 10월
  • 117,590원 (18% 할인 / 5,880원)
  • 택배로 주문하면 1월 31일 출고 변경
  • Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II (Paperback, 2024)
  • Arie Gurfinkel, Vijay Ganesh
  • Springer | 2024년 07월
  • 83,230원 (10% 할인 / 2,500원)
  • 택배로 주문하면 1월 13일 출고 변경
  • Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I (Paperback, 2024)
  • Vijay Ganesh , Arie Gurfinkel (엮은이)
  • Springer | 2024년 07월
  • 83,230원 (10% 할인 / 2,500원)
  • 택배로 주문하면 1월 13일 출고 변경

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

뒤로가기
위로가기