SOFTWARE CORRECTNESS and PROGRAM ANALYSIS: Static Analysis Formal Semantics Model Checking Techniques for Building Reliable Programs

Prix à partir de
12,70

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

SOFTWARE CORRECTNESS and PROGRAM ANALYSIS: Static Analysis Formal Semantics Model Checking Techniques for Building Reliable Programs

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
12,70 €
Gratuit
12,70 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
12,70 €
Gratuit
12,70 €
Voir l’offre
Gratuit Shipping Costs
Description (0)

SOFTWARE CORRECTNESS and PROGRAM ANALYSIS: Static Analysis Formal Semantics Model Checking Techniques for Building Reliable Programs

Spécifications du produit

Marque Independently Published
EAN
  • 9798194384990

Independently Published

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

11,83 €
Comparer 2 magasins 2 magasins

Independently Published

PROGRAM Analysis and TRANSFORMATION: Static Code Optimization Automated Refactoring Software Evolution Techniques

12,70 €
Comparer 2 magasins 2 magasins

Independently Published

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning...

12,70 €
Comparer 2 magasins 2 magasins

Independently Published

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

36,47 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,70 €
Voir l’offre