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

Priser från
140,58

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

140,58 kr

140,58 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194158980

CRC Press

Model Predictive Control for Complex Dynamic Systems: Analysis and Synthesis

2.278,86 kr
Jämför 2 butiker 2 Butiker

Springer

Validation and Verification of Automated Driving Systems

1.679,05 kr
Mer information Mer info

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

130,53 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
140,58 kr
Til butik