Ganesh Gopalakrishnan
Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science Ganesh Gopalakrishnan

Name: Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science
Price: 55.49 USD
Availability: OutOfStock
Author: Ganesh Gopalakrishnan

Precio

$ 55,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 23 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

Ganesh Gopalakrishnan

Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.

538 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	21 de octubre de 1998
ISBN13	9783540651918
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	538
Dimensiones	156 × 234 × 28 mm · 757 g
Lengua	Alemán
Editor	Gopalakrishnan, Ganesh C.
Editor	Windley, Phillip J.