Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 66,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031681495 ISBN 13: 9783031681493
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 98,31
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 9.25x6.10x9.21 inches. In Stock.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections:Real-Time Systems/ Robotics;Semantics and Verification;Case Studies;Neural Networks.
Taschenbuch. Zustand: Neu. Formal Methods for Industrial Critical Systems | 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings | Anne E. Haxthausen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer | EAN 9783031681493 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.