Verified Software Theories Tools And Experiments 7th International Confer - Springer Nature B.V - Paperback - English Book

₩124,390
+ ₩28,149 배송
  • product image

Verified Software Theories Tools And Experiments 7th International Confer - Springer Nature B.V - Paperback - English Book

판매자::

Verified Software Theories Tools And Experiments 7th International Confer - Springer Nature B.V - Paperback - English Book

₩124,390

재고 있음
+ ₩28,149 배송

14일 반품 정책

판매자::

₩124,390

재고 있음
+ ₩28,149 배송

14일 반품 정책

결제 방법:

설명

Verified Software Theories Tools And Experiments 7th International Confer - Springer Nature B.V - Paperback - English Book

This Volume Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 7th International Conference On Verified Software: Theories, Tools And Experiments, Vstte 2015, Held In July 2015 In San Francisco, Ca, Usa.the 12 Revised Full Papers Presented Were Carefully Revised And Selected From 25 Submissions.the Goal Of This Conference Is To Advance The State Of The Art In The Science And Technology Of Software Verification, Through The Interaction Of Theory Development, Tool Evolution, And Experimental Validation And Large-scale Verification Efforts That Involve Collaboration, Theory Unification, Toolintegration, And Formalized Domain Knowledge.
  • Fruugo ID: 469774060-983728980
  • ISBN: 9783319296128

배송 및 반품

24시간 이내에 발송됨

  • STANDARD: ₩28,149 - 배달 사이 화 24 3월 2026–월 30 3월 2026

영국에서 발송.

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