Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,76
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 400 pages. 9.25x6.10x0.99 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319989375 ISBN 13: 9783319989372
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th InternationalConference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed andselected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings | Carlo A. Furia (u. a.) | Taschenbuch | xvi | Englisch | 2018 | Springer | EAN 9783319989372 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.