Symbolic Simulation Methods for Industrial Formal Verification - Robert B. Jones - Libros - Springer-Verlag New York Inc. - 9781402071034 - 30 de junio de 2002
En caso de que portada y título no coincidan, el título será el correcto

Robert B. Jones
Symbolic Simulation Methods for Industrial Formal Verification 2002 edition

Precio
Mex$ 1.844
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Robert B. Jones

Nuestros clientes opinan:

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

Aún no valorado

También disponible como:

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

151 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de junio de 2002
ISBN13 9781402071034
Editores Springer-Verlag New York Inc.
Páginas 151
Dimensiones 155 × 235 × 11 mm   ·   417 g
Lengua Inglés  
Editor Jones, Robert B.

Más del mismo editor

Ver todo de Robert B. Jones ( Ej. Hardcover Book y Paperback Book )