MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Preise von
12,82

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

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)

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning Correctness Analysis for Complex Systems

Produktspezifikationen

Marken Independently Published
EAN
  • 9798194158980

Springer

Systems and Software Verification: Model Checking Techniques Tools

139,76 €
2 Shops vergleichen 2 Shops

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

115,00 €
Weitere Informationen Mehr Infos

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

12,82 €
2 Shops vergleichen 2 Shops

Springer

Temporal Verification of Reactive Systems: Safety

87,16 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,82 €
Zum Shop