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

Prices from
11.98

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:

€ 11.98

€ 11.98

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798194154968

Award Winning Creations

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

€ 22.24
Compare 2 stores 2 stores

Independently Published

Nonlinear Programming: Theory, Algorithms, Computation, and Modern Applications

€ 35.26
Compare 2 stores 2 stores

OmniScriptum

Algebraic Data Type: Computer programming, Functional Type theory, Datatype, Value (computer science), Pattern matching

€ 127.10
More Information More Info

Award Winning Creations

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

€ 35.90
Compare 2 stores 2 stores
Featured Choice
€ 11.98
To Shop