NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Book Details
Delivery Location
Delivery fee: Select location
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
Get NASA Formal Methods by Aaron Dutle at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 442 pages.
Customers Who Bought This Also Bought
Internet Technologies, Applications and Societal Impact
KSh 16,200.00
Advanced Information Systems Engineering
KSh 16,200.00
Exam Ref 70-532 Developing Microsoft Azure Solutions
KSh 6,050.00
A+ Guide to Hardware
KSh 17,000.00
Technological Innovation for Life Improvement
KSh 16,200.00
Reliability and Statistical Computing
KSh 16,200.00
Trends in Communication, Cloud, and Big Data
KSh 23,400.00
Software for Exascale Computing - SPPEXA 2016-2019
KSh 8,150.00
Natural Language Processing and Chinese Computing
KSh 16,200.00
The Next Generation Vehicular Networks, Modeling, Algorithm and Applications
KSh 19,800.00
Verified Software. Theories, Tools and Experiments.
KSh 8,100.00
Multi-Agent Systems
KSh 12,600.00
More in This Genre
Internet Technologies, Applications and Societal Impact
KSh 16,200.00
Advanced Information Systems Engineering
KSh 16,200.00
Exam Ref 70-532 Developing Microsoft Azure Solutions
KSh 6,050.00
A+ Guide to Hardware
KSh 17,000.00
Technological Innovation for Life Improvement
KSh 16,200.00
Reliability and Statistical Computing
KSh 16,200.00
