FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science - Marie-claude Gaudel - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540609735 - 6 de março de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science 1996 edition

Marie-claude Gaudel

Preço
R$ 604,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 12 - 18 de nov
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

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science 1996 edition

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

711 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de março de 1996
ISBN13 9783540609735
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 711
Dimensões 155 × 235 × 36 mm   ·   997 g
Idioma German  
Editor Gaudel, Marie-Claude
Editor Woodcock, James
Mostrar tudo

Mais por Marie-claude Gaudel

Ver tudo de Marie-claude Gaudel ( por exemplo Paperback Book )