Isbn: 9783319192482 - fm 2015: formal methods: 20th international symposium, oslo, norway, june 24-26, 2015, proceedings (programming and software engineering, band 9109) (4 Ergebnisse)

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.…

Taschenbuch. Zustand: Neu. FM 2015: Formal Methods | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319192482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Zustand: Brand New. 2015 edition. 628 pages. 9.25x6.10x1.42 inches. In Stock.