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

Prices from
10.25

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

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

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

Product specifications

Brand Independently Published
EAN
  • 9798194154968

Nonlinear Programming: Theory and Algorithms

£ 24.99
More Information More Info

IntechOpen

Genetic Algorithms Theory, Design and Programming: 23 (Artificial Intelligence)

£ 100.00
Compare 2 stores 2 stores

Wiley-Interscience

Solutions Manual to accompany Nonlinear Programming: Theory and Algorithms

£ 27.50
More Information More Info

Eric Schmidt

Grokking ALGORITHMS: Tips and Tricks of Functional Programming

£ 3.99
More Information More Info
Featured Choice
£ 10.25
To Shop