Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Libros - MIT Press Ltd - 9780262541572 - 17 de marzo de 2003
En caso de que portada y título no coincidan, el título será el correcto

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

Precio
Mex$ 602
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 24 de jul.
Añadir a tu lista de deseos de iMusic

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.


181 pages, Ill.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de marzo de 2003
ISBN13 9780262541572
Editores MIT Press Ltd
Páginas 181
Dimensiones 216 × 279 × 25 mm   ·   430 g
Lengua Inglés  

Mere med samme udgiver