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

Priser från
140,58

Utvalda

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)

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

Independently Published

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

126,78 kr
Jämför 2 butiker 2 Butiker

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

2.052,72 kr
Jämför 2 butiker 2 Butiker

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
Utvalt Val
140,58 kr
Til butik