Introducing Software Verification with Dafny Language: Proving Program Correctness

Prices from
27.97

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 151, Edition: 1st ed., Paperback, Apress
Description Description
Product Specifications Product specifications
Price History Price History
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 27.97
To Shop
Amazon Marketplace Logo
£ 27.97
To Shop
Description (1)

Pages: 151, Edition: 1st ed., Paperback, Apress

Product specifications

Brand Apress
EAN
  • 9781484279779

Price History

Prices were last updated on:

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 9.69
Compare 2 stores 2 stores

Springer

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

£ 87.29
More Information More Info

Independently Published

Correctness by Meaning: Formal Methods for the Natural Language Era (Meaning Engineering Software Systems)

£ 17.77
More Information More Info

Academic Press

System Verification: Proving the Design Solution Satisfies Requirements

£ 70.98
Compare 2 stores 2 stores
Featured Choice
£ 27.97
To Shop