NASA Formal Methods

NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783032280794, 3032280796 und die Druck-ISBNs lauten 9783032280787, 3032280788. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783032280794, 3032280796 und die Druck-ISBNs lauten 9783032280787, 3032280788. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.