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

Prix à partir de
12,64

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

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

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194158980

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

121,06 €
Plus d'informations Plus infos

Independently Published

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

12,64 €
Comparer 2 magasins 2 magasins

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

11,73 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,64 €
Voir l’offre