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 · Publicada por primera vez en 2004

Materias

Electronic circuits
Decision trees
Testing

Ediciones (1)

Advanced Formal Verification (2004)
Springer · inglés · ISBN 9781402077210

Más obras de Rolf Drechsler

Tapa de Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Tapa de Advanced formal verification

Advanced formal verification

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

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Advanced Formal Verification — Rolf Drechsler | Cutter Number

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 →