
Conte aos seus amigos sobre este item:
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science
John Fitzgerald
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science
John Fitzgerald
Formal methods and mathematically-based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the 35 papers in this volume describe industrial applications, extensions to existing techniques, or case studies.
694 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 3 de setembro de 1997 |
ISBN13 | 9783540635338 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 694 |
Dimensões | 156 × 234 × 35 mm · 975 g |
Idioma | German |
Editor | Fitzgerald, J. (University of Newcastle-upon-tyne) |
Editor | Jones, C.b. |
Editor | Lucas, P. |
Mostrar tudo
Mais por John Fitzgerald
Ver tudo de John Fitzgerald ( por exemplo Paperback Book , Hardcover Book e Book )