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

Prix à partir de
36,30

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification
Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
36,30 €
Gratuit
36,30 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
36,30 €
Gratuit
36,30 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

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

Spécifications du produit

Marque Majosta
EAN
  • 9798264895685

HiTeX Press

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

37,10 €
Comparer 2 magasins 2 magasins

Springer

Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification

147,78 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins

Book Bound Press

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

18,08 €
Comparer 2 magasins 2 magasins
Choix en vedette
36,30 €
Voir l’offre