NASA Formal Methods

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings and published by Springer. The Digital and eTextbook ISBNs for NASA Formal Methods are 9783030206529, 3030206521 and the print ISBNs are 9783030206512, 3030206513. Save up to 80% versus print by going digital with VitalSource.

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings and published by Springer. The Digital and eTextbook ISBNs for NASA Formal Methods are 9783030206529, 3030206521 and the print ISBNs are 9783030206512, 3030206513. Save up to 80% versus print by going digital with VitalSource.