Verified Functional Programming in Agda (ACM Books)

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

1/1

Prices from

66.00

Featured

Description

Verified Functional Programming in Agda (ACM Books)

Compare webshops (2)

Shop

Price

£ 66.00

To Shop

£ 66.00

To Shop

Description (0)

Verified Functional Programming in Agda (ACM Books)

Brand	Morgan & Claypool Publishers
EAN	9781970001242

Morgan & Claypool Publishers

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

Addison-Wesley Professional

Programming Pearls (ACM Press)

Independently Published

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

Manning

Functional Programming in Scala