NASA Formal Methods: 15th International Symposium NFM 2023 Houston TX USA May 16-18 2023 Proceedings
In stock$18.00
Book FormatEbook
1
SKU:GC-8167413434
Comes to you in 4-8 business days though delays can occur.
Return your order within 30 days from delivery.
NASA Formal Methods: 15th International Symposium NFM 2023 Houston TX USA May 16-18 2023 Proceedings
$18.00
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
Book Details
- Publisher: Springer
- eBook ISBN: 9783031331701, 3031331702
- Print ISBN: 9783031331695, 3031331699
Product Details
TypeBook
SKUGC-8167413434-BOOK
TagsNew Book, General & Reference
You May Also Like
View all →
Advances in Computer Science and Information Technology: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
$30.00
Designing Democracy Re-education and the America Houses (19451961)- The American Information Centers and their Involvement in Democratic: Re-education in Western Germany and West Berlin from 1945 to 1961
$28.00
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2016 International Conference on Neuroergonomics and Cognitive Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
$35.00
Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014: Twenty Years of Mass Customization - Towards New Frontiers
$90.00