Idris Unleashed: Type Driven Development and Theorem Proving in Functional Programming

Prices from
30.86

Featured

COMPARE ALL WEBSHOPS (2)

Description

Idris Unleashed: Type Driven Development and Theorem Proving in Functional Programming

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 30.86
To Shop
Amazon Marketplace Logo
£ 30.86
To Shop
Description (0)

Idris Unleashed: Type Driven Development and Theorem Proving in Functional Programming

Product specifications

Brand HiTeX Press
EAN
  • 9798896650270

Manning Publications

Type driven Development with Idris

£ 44.50
Compare 2 stores 2 stores

Manning

Type Driven Development with Idris

£ 30.20
More Information More Info

Springer

Automated Theorem Proving in Software Engineering

£ 42.72
More Information More Info

Springer

Automated Theorem Proving: Theory and Practice

£ 104.49
More Information More Info
Featured Choice
£ 30.86
To Shop