Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Prices from
30.21

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

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:

£ 30.21

£ 30.21

Description (0)

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Product specifications

Brand Independently Published
EAN
  • 9798161487754

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

£ 10.25
Compare 2 stores 2 stores

Apress

Introducing Software Verification with Dafny Language: Proving Program Correctness

£ 27.08
Compare 2 stores 2 stores

Auerbach Publications

Software Specification and Design: An Engineering Approach

£ 138.69
More Information More Info

Addison-Wesley Professional

Program Development in Java: Abstraction, Specification, and Object-Oriented Design

£ 29.99
More Information More Info
Featured Choice
£ 30.21
To Shop