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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540635338 - 3 de setembro de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
DKK 730,13

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de ago
Adicione à sua lista de desejos do iMusic

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

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