Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science - Mark D Aagaard - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540001164 - 23 de outubro de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Mark D Aagaard
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Mark D Aagaard

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

Ainda não avaliado

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.

408 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de outubro de 2002
ISBN13 9783540001164
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 408
Dimensões 155 × 235 × 21 mm   ·   633 g
Idioma Alemão  
Editor Aagaard, Mark D.
Editor O'Leary, John W.

Mais por Mark D Aagaard

Mostrar tudo

Mais da mesma editora

Ver tudo de Mark D Aagaard