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

Prices from
34.41

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 349, Paperback, Independently published
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 34.41
To Shop
Amazon Marketplace Logo
€ 34.41
To Shop
Description (1)

Pages: 349, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798264895685

Springer

Versatile Hardware Analysis Techniques: From Waveform-based to Formal Verification

€ 138.24
Compare 2 stores 2 stores

Independently Published

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

€ 11.16
Compare 2 stores 2 stores

Independently Published

CIRCUITON DIGITAL SYSTEM MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis

€ 12.06
Compare 2 stores 2 stores

Book Bound Press

Regression Analysis Using MATLAB: Practical Techniques, Real Data Examples, and Step by Modeling

€ 17.14
Compare 2 stores 2 stores
Featured Choice
€ 34.41
To Shop