Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27 de agosto de 1997
En caso de que portada y título no coincidan, el título será el correcto

Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 9 - 19 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 27 de agosto de 1997
ISBN13 9783540634751
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 388
Dimensiones 155 × 233 × 22 mm   ·   494 g
Lengua Alemán  
Editor Kropf, Thomas

Mas por Thomas Kropf

Mostrar todo

Ver todo de Thomas Kropf ( Ej. Hardcover Book , Paperback Book y Book )