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

Prices from
9.69

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 175, Paperback, Independently published
Description Description
Product Specifications Product specifications
Price History Price History
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 175, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798243353243

Price History

Prices were last updated on:

Springer

Systems and Software Verification: Model Checking Techniques Tools

£ 119.99
Compare 2 stores 2 stores

Apress

Introducing Software Verification with Dafny Language: Proving Program Correctness

£ 27.97
Compare 2 stores 2 stores

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

£ 9.54
More Information More Info

Cengage Learning Emea

Model Driven Software Development with UML and Java

£ 39.44
Compare 2 stores 2 stores
Featured Choice
£ 9.69
To Shop