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

Prices from
29.93

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

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

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

Product specifications

Brand Independently Published
EAN
  • 9798264895685

Springer

Formal Description Techniques and Protocol Specification, Testing Verification: FORTE X / PSTV XVII '97

£ 39.99
Compare 2 stores 2 stores

Springer

Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification

£ 119.99
Compare 2 stores 2 stores

Cambridge University Press

Real-Time Systems: Formal Specification and Automatic Verification

£ 78.52
More Information More Info

Springer

Scalable Techniques for Formal Verification

£ 75.99
More Information More Info
Featured Choice
£ 29.93
To Shop