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.
NASA Formal Methods
CHF 148.35
Auf Lager
SKU
A7JQH1PBK7J
1 Verfügbar 
Geliefert zwischen Di., 27.01.2026 und Mi., 28.01.2026
Details
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.
The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031606977
- Genre Information Technology
- Auflage 2024
- Editor Nathaniel Benz, Nija Shi, Divya Gopinath
- Lesemotiv Verstehen
- Anzahl Seiten 464
- Größe H235mm x B155mm x T25mm
- Jahr 2024
- EAN 9783031606977
- Format Kartonierter Einband
- ISBN 3031606973
- Veröffentlichung 28.05.2024
- Titel NASA Formal Methods
- Autor Divya Gopinath
- Untertitel 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
- Gewicht 698g
- Herausgeber Springer Nature Switzerland
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
