TRACE THEORY FOR AUTOMATIC HIERARCHICAL VERIFICATION OF SPEE

RANDOM HOUSE

TRACE THEORY FOR AUTOMATIC HIERARCHICAL VERIFICATION OF SPEE

DAVID L. DILL / DAVID LDILL

Año edición: 17-03-2003

Colección:

EAN: 9780262541572

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

TRACE THEORY FOR AUTOMATIC HIERARCHICAL VERIFICATION OF SPEE

RANDOM HOUSE

TRACE THEORY FOR AUTOMATIC HIERARCHICAL VERIFICATION OF SPEE

DAVID L. DILL/DAVID LDILL DAVID L. DILL/DAVID LDILL

9780262541572

30.02€