Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

Prices from
29.93

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Compare webshops (2)

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

Pages: 349, Paperback, Independently published

Product specifications

Brand Majosta
EAN
  • 9798264895685

Prices were last updated on:

Cambridge University Press

Real Time Systems: Formal Specification and Automatic Verification

£ 78.85
More Information More Info

Springer

Scalable Techniques for Formal Verification

£ 75.99
More Information More Info

Independently Published

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

£ 9.69
Compare 2 stores 2 stores

Independently Published

CIRCUITON Digital System MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis...

£ 10.46
Compare 2 stores 2 stores
Featured Choice
£ 29.93
To Shop