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

Prix à partir de
36,47

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

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 (1)

Trier par:

36,47 €

Description (0)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798264895685

Independently Published

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

12,70 €
Plus d'informations Plus infos

Independently Published

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

12,70 €
Plus d'informations Plus infos

Springer

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

148,47 €
Plus d'informations Plus infos

Independently Published

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

11,83 €
Plus d'informations Plus infos
Choix en vedette
36,47 €
Voir l’offre