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

Prices from
10.37

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

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.37

£ 10.37

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798188923969

Independently Published

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

£ 9.52
Compare 2 stores 2 stores

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

£ 4.39
More Information More Info

Apress

Introducing Software Verification with Dafny Language: Proving Program Correctness

£ 27.78
Compare 2 stores 2 stores

Springer

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions...

£ 67.84
More Information More Info
Featured Choice
£ 10.37
To Shop