Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

₩102,890
+ ₩24,099 배송

Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

  • product image
판매자::

₩102,890

재고 있음
+ ₩24,099 배송

14일 반품 정책

결제 방법:

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

제품 상세 정보

Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

This Book Constitutes The Proceedings Of The 10th International Workshop On Numerical Software Verification, Nsv 2017, Held In Heidelberg, Germany, In July 2017 - Colocated With Thenbsp;international Workshop On Formal Methods For Rigorous Systems Engineering Of Cyber-physical Systems, Rise4cps 2017, A One-time, Invited-only Event.the 3 Full Papers Presented Together With 3 Short Papers, 2 Keynote Abstracts And 4 Invited Abstracts Were Carefully Reviewed And Selected From Numerous Submissions.the Nsv 2017 Workshop Is Dedicated To The Development Of Logical And Mathematical Techniques For The Reasoning About Programmability And Reliability.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 140
  • 형식: Paperback
  • 언어: English
  • 출판일: 2017-07-12
  • 저자: Springer Nature B.V
  • Fruugo ID: 469772344-983727266
  • ISBN: 9783319635002
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩24,099 - 배달 사이 수 23 9월 2026–화 29 9월 2026

영국에서 발송.

반품

보고

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

전체 반품 정책 보기