NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings 2024 Edition Contributor(s): Benz, Nathaniel (Editor), Gopinath, Divya (Editor), Shi, Nija (Editor) |
|
ISBN: 3031606973 ISBN-13: 9783031606977 Publisher: Springer OUR PRICE: $75.99 Product Type: Paperback Published: May 2024 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Computer Science - Computers | Hardware - General |
Physical Information: 0.94" H x 6.14" W x 9.21" (1.42 lbs) 438 pages |