Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319668447 ISBN 13: 9783319668444
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,17
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 438 pages. 9.00x6.00x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319668447 ISBN 13: 9783319668444
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings | Nadia Polikarpova (u. a.) | Taschenbuch | xxi | Englisch | 2017 | Springer | EAN 9783319668444 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.