Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Methods for Industrial Critical Systems
CHF 78.75
Auf Lager
SKU
416G3MN6OPF
1 Verfügbar 
Geliefert zwischen Do., 20.11.2025 und Fr., 21.11.2025
Details
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 913, 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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031681493
- Anzahl Seiten 272
- Lesemotiv Verstehen
- Genre Programming Languages
- Auflage 2024
- Editor Wendelin Serwe, Anne E. Haxthausen
- Herausgeber Springer Nature Switzerland
- Gewicht 417g
- Untertitel 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
- Größe H235mm x B155mm x T15mm
- Jahr 2024
- EAN 9783031681493
- Format Kartonierter Einband
- ISBN 3031681495
- Veröffentlichung 21.08.2024
- Titel Formal Methods for Industrial Critical Systems
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
