Lecture Notes in Computer Science NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings, Book 15682, (Paperback)

Name: Lecture Notes in Computer Science NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings, Book 15682, (Paperback)
Brand: Aaron Dutle
SKU: prod_2cab3ecfec5cb24968fec1b5
Price: 237.00 USD
Availability: InStock

Lecture Notes in Computer Science NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings, Book 15682, (Paperback) Author: Springer ISBN: 9783031937057 Format: Paperback Publication Date: 2025-06-08 Page Count: 442

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings, Book 15682, (Paperback)—

$237.00

Price unavailable

Lecture Notes in Computer Science NASA Formal Methods: 17th International Symposium, Nfm 2025, Williamsburg, Va, Usa, June 11-13, 2025, Proceedings, Book 15682, (Paperback)—

$237.00