Lecture Notes in Computer Science NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings, Book 13903, (Paperback)

Name: Lecture Notes in Computer Science NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings, Book 13903, (Paperback)
Brand: Kristin Yvonne Rozier
SKU: prod_6ab985a9a4c8860e4b4bee22
Price: 189.00 USD
Availability: InStock

Lecture Notes in Computer Science NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings, Book 13903, (Paperback) Author: Springer ISBN: 9783031331695 Format: Paperback Publication Date: 2023-06-03 Page Count: 490

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings, Book 13903, (Paperback)—

$189.00

Price unavailable

Lecture Notes in Computer Science NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings, Book 13903, (Paperback)—

$189.00