NASA Formal Methods

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings and published by Springer. The Digital and eTextbook ISBNs for NASA Formal Methods are 9783031067730, 3031067738 and the print ISBNs are 9783031067723, 303106772X. Save up to 80% versus print by going digital with VitalSource.

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings and published by Springer. The Digital and eTextbook ISBNs for NASA Formal Methods are 9783031067730, 3031067738 and the print ISBNs are 9783031067723, 303106772X. Save up to 80% versus print by going digital with VitalSource.