EUR 11,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 11,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 75,12
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. NASA Formal Methods | 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings | Nathaniel Benz (u. a.) | Taschenbuch | xxiii | Englisch | 2024 | Springer | EAN 9783031606977 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 197,03
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.