Solving Higher-order Equations From Logic To Programming

$169.00
+ $28.99 Shipping

Solving Higher-order Equations From Logic To Programming

Sold by:
  • product image
Solving Higher-order Equations From Logic To Programming

$169.00

In stock
+ $28.99 Shipping
Taxes calculated at checkout

14-Day Returns Policy

Payment methods:

Product details

Product details

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.
  • Brand: Springer Nature B.V
  • Category: Computing & Internet
  • Format: Hardcover
  • Language: English
  • Publication Date: 1997-12-18
  • Publisher / Label: Springer Nature B.V
  • Author: Christian Prehofer
  • Number of Pages: 204
  • Fruugo ID: 556937245-1125177171
  • ISBN: 9780817640323
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: $28.99 - Delivery between Fri 13 November 2026–Wed 18 November 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy