Verified Functional Programming in Agda (ACM Books)

£149.00
FREE Shipping

Verified Functional Programming in Agda (ACM Books)

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

£149.00

Only 5 left in stock
FREE Shipping

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded
Sold by:
Product details

Product details

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

Delivery

Dispatched within 10 days

  • STANDARD: FREE - Delivery between Wed 07 October 2026–Fri 09 October 2026 - FREE

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