NASA Formal Methods
53.49 EUR
Ein kompakter Leitfaden aus dem 10. Internationalen Symposium zur formalen Methoden der NASA, der praxisnahe Algorithmen, theoretische Fortschritte und reale Anwendungsbeispiele für Software‑Verifikation in Raumfahrtprojekten zusammenfasst.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science, Band 10811)
Medimops DE
17-06-2026 16:52:08
SpringerLink DE
Gesponsert
Galaxus.de
NASA Formal Methods, Fachbücher von Aaron Dutle, Anthony Narkawicz, César Muñoz
Galaxus.de
17-06-2026 23:11:02
