cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Advanced formal verification

Tapa de Advanced formal verification

Número de Cutter-SanbornD771aEntrada «Dre» → 771 · marca de obra “a”

Advanced formal verification

de Rolf Drechsler

Materias

Circuits electro nics
Proves
Arbres de decisio .
Electronic circuits
Decision trees
Testing
Circuits electrònics
Arbres de decisió
Integrated circuits

Ediciones (2)

Advanced formal verification — Rolf Drechsler | Cutter Number

Advanced Formal Verification (2010)

Springer · ISBN 9781441954206

Advanced formal verification (2004)

Kluwer Academic Publishers · inglés

Más obras de Rolf Drechsler

Tapa de Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Tapa de High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Tapa de Advanced Formal Verification

Advanced Formal Verification

2004

Tapa de Binary decision diagrams

Binary decision diagrams

1998

Tapa de Evolutionary algorithms for VLSI CAD

Evolutionary algorithms for VLSI CAD

1998

Tapa de Formal Verification of Circuits

Formal Verification of Circuits

2000

Ver todas las obras de Rolf Drechsler →