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

Precios a partir de
12,46

Destacado

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)

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

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

11,61 €
Comparar 2 tiendas 2 tiendas

Independently Published

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

12,46 €
Comparar 2 tiendas 2 tiendas

Independently Published

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

11,56 €
Comparar 2 tiendas 2 tiendas

Independently Published

Comprehensive Automated Document Verification System

5,37 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
12,46 €
Ver oferta