2015 formal methods 20th (8 Ergebnisse)

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.…

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.…

Paperback. Zustand: Brand New. 2015 edition. 232 pages. 9.25x6.10x0.53 inches. In Stock.

Taschenbuch. Zustand: Neu. Formal Methods for Industrial Critical Systems | 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings | Manuel Núñez (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319194578 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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.