Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

AED469.00
+ AED73.99 Shipping

Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

Sold by:
  • product image
Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

AED469.00

In stock
+ AED73.99 Shipping

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded

Description

Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

Agda Is An Advanced Programming Language Based On Type Theory. Agda's Type System Is Expressive Enough To Support Full Functional Verification Of Programs, In Two Styles. In External Verification, We Write Pure Functional Programs And Then Write Proofs Of Properties About Them.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: en
  • Length: 284
  • Publisher / Label: Association for Computing Machinery 6504698
  • Author: Aaron Stump
  • Fruugo ID: 491702017-1015279132
  • ISBN: 9781970001242

Delivery

Dispatched within 24 hours

  • STANDARD: AED73.99 - Delivery between Tue 11 August 2026–Mon 17 August 2026

Shipping from United Kingdom.

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