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

Precios a partir de
12,46

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

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

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

12,46 €

12,46 €

Descripción (0)

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194158980

Independently Published

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

12,46 €
Comparar 2 tiendas 2 tiendas

Independently Published

Comprehensive Automated Document Verification System

5,37 €
Más información Más info

Independently Published

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

11,56 €
Comparar 2 tiendas 2 tiendas

Independently Published

Model based Systems Engineering: Principles, practices and Applications for Complex systems: Requirements,...

60,34 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
12,46 €
Ver oferta