
Conte aos seus amigos sobre este item:
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
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
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 )