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

Prices from
10.37

Featured

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)

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

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

Product specifications

Brand Independently Published
EAN
  • 9798188923969

Apress

Introducing Software Verification with Dafny Language: Proving Program Correctness

£ 27.97
Compare 2 stores 2 stores

Springer

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

£ 88.83
Compare 2 stores 2 stores

Springer

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

£ 67.20
More Information More Info

Springer

Automated Theorem Proving in Software Engineering

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