Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27 de agosto de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Thomas Kropf

Preço
CA$ 77,49
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 9 de set

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 27 de agosto de 1997
ISBN13 9783540634751
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 388
Dimensões 155 × 233 × 22 mm   ·   494 g
Idioma German  
Editor Kropf, Thomas
Mostrar tudo

Mais por Thomas Kropf

Ver tudo de Thomas Kropf ( por exemplo Hardcover Book , Paperback Book e Book )