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

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

Preço
R$ 325,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

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

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 Alemão  
Editor Kropf, Thomas

Mais por Thomas Kropf

Mostrar tudo

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