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

Prices from
30.22

Sponsored links

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)

Sponsored links · Some shops pay us a fee

Sort by:

£ 30.22

£ 30.22

Description (0)

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

Product specifications

Brand NobleTrex Press
EAN
  • 9798896650270

Manning Publications

Type driven Development with Idris

£ 42.23
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.74
More Information More Info

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

£ 9.52
Compare 2 stores 2 stores
Featured Choice
£ 30.22
To Shop