Ud. está consultando:

Libros y revistas (incluye tesis y seminarios)

Importante! Sobre el catálogo

Búsqueda avanzada

Búsqueda por tema: Logic design.
Resultado 8 de 13
 
e-book

A Roadmap for Formal Property Verification

by Pallab DasGupta.

Dordrecht : Springer, 2006.

v.: digital

ISBN: 9781402047589

 
Registro springer:978-1-4020-4757-2 · Modificado: 26/03/2010

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)

Novedades

Enlaces