NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

by Dimitra Giannakopoulou (Editor), Dimitra Giannakopoulou (Editor), Anastasia Mavridou (Editor), Ritchie Lee (Editor), Susmit Jha (Editor)

New
Paperback
2020
$76.07

$76.07

Save:$5.55 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 463
Edition: 1st ed. 2020
Publisher: Springer
Published: 09 Aug 2020
ISBN 10: 3030557537
ISBN 13: 9783030557539

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

New

$76.07

$76.07

More Information