Decision Procedures An Algorithmic Point Of View - Daniel Kroening

₩75,890
+ ₩31,799 배송

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

  • product image
판매자::

₩75,890

재고 있음
+ ₩31,799 배송

14일 반품 정책

결제 방법:

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

제품 상세 정보

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

A Decision Procedure Is An Algorithm That, Given A Decision Problem, Terminates With A Correct Yesno Answer. Here, The Authors Focus On Theories That Are Expressive Enough To Model Real Problems, But Are Still Decidable. Specifically, The Book Concentrates On Decision Procedures For First-order Theories That Are Commonly Used In Automated Verification And Reasoning, Theorem-proving, Compiler Optimization And Operations Research.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 380
  • 형식: Hardcover
  • 언어: English
  • 출판일: 2017-01-27
  • 저자: Daniel Kroening
  • Fruugo ID: 469775809-983730733
  • ISBN: 9783662504963
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩31,799 - 배달 사이 목 17 9월 2026–수 23 9월 2026

영국에서 발송.

반품

보고

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

전체 반품 정책 보기