Lecture Notes in Computer Science NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback)

Lecture Notes in Computer Science NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback) Author: Springer ISBN: 9783031606977 Format: Paperback Publication Date: 2024-05-28 Page Count: 438You may also like Cambridge Mathematical Textbooks Matrix Mathematics, (Hardcover).