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

Prices from
10.25

Sponsored links

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)

Sponsored links · Some shops pay us a fee

Sort by:

£ 10.25

£ 10.25

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

£ 115.49
More Information More Info

Award Winning Creations

Lean Programming for AI Agents: Verified Contracts, Specs and Proofs Agentic Systems

£ 18.75
Compare 2 stores 2 stores

Eric Schmidt

Grokking ALGORITHMS: Tips and Tricks of Functional Programming

£ 3.99
More Information More Info

ACM Books

Verified Functional Programming in Agda (ACM Books)

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