Solving Higher-order Equations From Logic To Programming

₩219,990
+ ₩51,399 배송

Solving Higher-order Equations From Logic To Programming

판매자::
  • product image

₩219,990

재고 있음
+ ₩51,399 배송

14일 반품 정책

결제 방법:

제품 상세 정보

제품 상세 정보

Solving Higher-order Equations From Logic To Programming

This Monograph Develops Techniques For Equational Reasoning In Higher-order Logic. Due To Its Expressiveness, Higher-order Logic Is For Specification And Verification Of Hardware, Software, And Mathematics. In These Applica Tions, Higher-order Logic Provides The Necessary Level Of Abstraction For Con Cise And Natural Formulations.
  • 브랜드: Springer Nature B.V
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 204
  • 형식: Hardcover
  • 언어: English
  • 출판일: 1997-12-18
  • 저자: Christian Prehofer
  • Fruugo ID: 556937245-1125177171
  • ISBN: 9780817640323
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩51,399 - 배달 사이 화 10 11월 2026–화 08 12월 2026

영국에서 발송.

반품

보고

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

전체 반품 정책 보기