Verified Functional Programming in Agda (ACM Books)

Name: Verified Functional Programming in Agda (ACM Books)
Brand: Morgan & Claypool
SKU: 6847a39fee48d9bfc7209c037fee2b43

1/1

Prices from

66.00

Featured

	£ 66.00	To Shop
	£ 66.00	To Shop

Description

Amazon Pages: 284, Paperback, Morgan & Claypool Publishers

Compare webshops (2)

Shop

Price

£ 66.00

To Shop

£ 66.00

To Shop

Description (1)

Pages: 284, Paperback, Morgan & Claypool Publishers

Brand	Morgan & Claypool
EAN	9781970001242

Prices were last updated on: 06-04-2026, 09:35

Independently Published

AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching

Morgan & Claypool

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Manning Publications

Functional Programming in C#

Manning Publications

Functional Programming in Scala

Featured Choice

£ 66.00

To Shop