Verification Model Checking And Abstract Interpretation 24th International - Springer Nature B.V

₩137,890
+ ₩25,949 배송

Verification Model Checking And Abstract Interpretation 24th International - Springer Nature B.V

판매자::
  • product image

₩137,890

재고 있음
+ ₩25,949 배송

14일 반품 정책

결제 방법:

  • 브랜드: Unbranded
제품 상세 정보

제품 상세 정보

Verification Model Checking And Abstract Interpretation 24th International - Springer Nature B.V

This Book Constitutes The Proceedings Of The 24th International Conference On Verification, Model Checking, And Abstract Interpretation, Vmcai 2023, Which Took Place In Boston, Usa, In January 2023. The 17 Full Papers Presented In This Book Were Carefully Reviewed And Selected From 34 Submissions. The Contributions Deal With Program Verification, Model Checking, Abstract Interpretation, Program Synthesis, Static Analysis, Type Systems, Deductive Methods, Decision Procedures, Theorem Proving, Program Certification, Debugging Techniques, Program Transformation, Optimization, And Hybrid And Cyber-physical Systems.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 400
  • 형식: Paperback
  • 언어: English
  • 출판일: 2023-01-17
  • 저자: Springer Nature B.V
  • Fruugo ID: 469771299-983726225
  • ISBN: 9783031249495
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩25,949 - 배달 사이 수 16 9월 2026–화 22 9월 2026

영국에서 발송.

반품

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기