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
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de set
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