LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

SPRINGER NATURE B.V.

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

FABIO SOMENZI / GARY D. HACHTEL

Año edición: 18-03-2013

Colección:

EAN: 9781475770360

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

SPRINGER NATURE B.V.

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL

9781489993953

171.26€

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

SPRINGER NATURE B.V.

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL

9780387341552

133.01€

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

SPRINGER NATURE B.V.

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS

FABIO SOMENZI/GARY D. HACHTEL FABIO SOMENZI/GARY D. HACHTEL

9781475770360

112.12€