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

Preise von
12,82

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,82 €
Gratis
12,82 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,82 €
Gratis
12,82 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798194384990

Independently Published

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

12,82 €
2 Shops vergleichen 2 Shops

Independently Published

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

12,82 €
2 Shops vergleichen 2 Shops

Springer

Systems and Software Verification: Model Checking Techniques Tools

136,90 €
2 Shops vergleichen 2 Shops

Cambridge University Press

Model Based Software Testing and Analysis with C#

30,70 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,82 €
Zum Shop