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

AED409.00
+ AED72.49 Shipping
  • product image
Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

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

  • Brand: Unbranded
Sold by:

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

  • Brand: Unbranded

AED409.00

In stock
+ AED72.49 Shipping

14-Day Returns Policy

Sold by:

AED409.00

In stock
+ AED72.49 Shipping

14-Day Returns Policy

Payment methods:

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: AED72.49 - Delivery between Tue 07 July 2026–Mon 13 July 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