Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science - Marco Bernardo - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540343042 - 15 de maio de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science 2006 edition

Marco Bernardo

Preço
Mex$ 1.326,06

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 21 de jul

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 for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science 2006 edition

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

244 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de maio de 2006
ISBN13 9783540343042
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 244
Dimensões 155 × 235 × 13 mm   ·   362 g
Idioma French  
Editor Bernardo, Marco
Editor Cimatti, Alessandro
Mostrar tudo

Mais por Marco Bernardo

Ver tudo de Marco Bernardo ( por exemplo Paperback Book , Book e CD )