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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540651918 - 21 de outubro de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 318,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 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 Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de outubro de 1998
ISBN13 9783540651918
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 538
Dimensões 156 × 234 × 28 mm   ·   757 g
Idioma German  
Editor Gopalakrishnan, Ganesh C.
Editor Windley, Phillip J.
Mostrar tudo

Mais por Ganesh Gopalakrishnan

Ver tudo de Ganesh Gopalakrishnan ( por exemplo Paperback Book e Hardcover Book )