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
$ 34,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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