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

Prices from
29.93

Sponsored links

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)

Sponsored links · Some shops pay us a fee

Sort by:

£ 29.93

£ 29.93

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798264895685

FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

£ 3.66
More Information More Info

Independently Published

FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

£ 10.25
Compare 2 stores 2 stores

Independently Published

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

£ 10.25
Compare 2 stores 2 stores

Springer

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

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