Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

₩324,090
+ ₩24,799 배송

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • 브랜드: Unbranded
  • product image

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • 브랜드: Unbranded
가격: ₩324,090
판매자::
₩324,090
+ ₩24,799 배송

14일 반품 정책

현재 이용 불가

이 아이템이 언제 다시 입고될지 알 수 없습니다.

결제 방법:

설명

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

Please note that we cannot guarantee delivery by Christmas. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification CAV 2008 held in Princeton NJ USA in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • 페이지 수: 558
  • 형식: Paperback softback
  • 언어: English
  • 출판일: 2008-06-17
  • 저자: Edited by Aarti Gupta & Edited by Sharad Malik
  • Fruugo ID: 59094871-119716756
  • ISBN: 9783540705437

배송 및 반품

-1일 이내에 발송됨

  • STANDARD: ₩24,799 - 배달 사이 목 08 1월 2026–수 14 1월 2026

영국에서 발송.

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