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

Prezzi da
12,46

Link sponsorizzati

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)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

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

Applied SysML v2 and Model-Based Systems Engineering: Practical MBSE Workflows for Requirements...

16,64 €
Confronta 2 negozi 2 negozi

Independently Published

Applied SysML v2 and Model-Based Systems Engineering: Practical MBSE Workflows for Requirements...

26,00 €
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
Scelta in evidenza
12,46 €
Vai allo shop