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

Prezzi da
12,46

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Ordina per:

12,46 €

12,46 €

Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194158980

CRC Press

Model Predictive Control for Complex Dynamic Systems: Analysis and Synthesis

218,40 €
Confronta 2 negozi 2 negozi

Independently Published

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

12,46 €
Confronta 2 negozi 2 negozi

Independently Published

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

11,56 €
Confronta 2 negozi 2 negozi

OmniScriptum

Partial Order Reduction: Computer Science, State Transition System, Model Checking

132,18 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
12,46 €
Vai allo shop