Computer Aided Verification

₩144,690
+ ₩84,649 배송

Computer Aided Verification

판매자::
  • product image

₩144,690

재고 있음
+ ₩84,649 배송

14일 반품 정책

결제 방법:

제품 상세 정보

제품 상세 정보

Computer Aided Verification

This Open Access Two-volume Set Lncs 10980 And 10981 Constitutes The Refereed Proceedings Of The 30th International Conference On Computer Aided Verification, Cav 2018, Held In Oxford, Uk, In July 2018. The 52 Full And 13 Tool Papers Presented Together With 3 Invited Papers And 2 Tutorials Were Carefully Reviewed And Selected From 215 Submissions. The Papers Cover A Wide Range Of Topics And Techniques, From Algorithmic And Logical Foundations Of Verification To Practical Applications In Distributed, Networked, Cyber-physical, And Autonomous Systems.
  • Fruugo ID: 556950931-1125195728
  • ISBN: 9781013270994
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩84,649 - 배달 사이 월 09 11월 2026–월 07 12월 2026

영국에서 발송.

반품

보고

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

전체 반품 정책 보기