Verified Functional Programming in Agda (ACM Books)

£149.00
FREE Shipping

Verified Functional Programming in Agda (ACM Books)

Sold by:
  • product image
Verified Functional Programming in Agda (ACM Books)

£149.00

Only 5 left in stock
FREE Shipping

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded

Description

Verified Functional Programming in Agda (ACM Books)

Format- Hardback, Publisher- Morgan & Claypool Publishers, Publisher Year- 2016, Pages- 284, Dimensions- 23.5 x 19.1 x 1.8 centimetres (0, Category- Computers, Programming, General,
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Hardback
  • Language: English
  • Publication Date: 2016
  • Length: Pages: 284
  • Size: 23.5 x 19.1 x 1.8 centimetres (0
  • Publisher / Label: Morgan & Claypool Publishers
  • Author: Stump, Aaron
  • Fruugo ID: 469260146-983113849
  • ISBN: 9781970001273

Delivery

Dispatched within 10 days

  • STANDARD: FREE - Delivery between Mon 17 August 2026–Wed 19 August 2026 - FREE

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