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

Priser från
403,12

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
403,12 kr
Til butik
Amazon Marketplace Logga
403,12 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Majosta
EAN
  • 9798264895685

Springer

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

1.437,28 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

126,78 kr
Jämför 2 butiker 2 Butiker

Book Bound Press

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

195,07 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

136,78 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
403,12 kr
Til butik