NASA Formal Methods

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783031937064, 3031937066 und die Druck-ISBNs lauten 9783031937057, 3031937058. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783031937064, 3031937066 und die Druck-ISBNs lauten 9783031937057, 3031937058. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.