NASA Formal Methods

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings 1st Auflage verfasst von Susmit Jha; Ritchie Lee; Anastasia Mavridou und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783030557546, 3030557545 und die Druck-ISBNs lauten 9783030557539, 3030557537. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings 1st Auflage verfasst von Susmit Jha; Ritchie Lee; Anastasia Mavridou und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für NASA Formal Methods lauten 9783030557546, 3030557545 und die Druck-ISBNs lauten 9783030557539, 3030557537. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.