NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
1st ed. 2018
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3319779346
ISBN-13
9783319779348
Edition
1st ed. 2018
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
CH
Country of Publication
GB
Publication Date
Mar 11th, 2018
Print length
470 Pages
Ksh 8,100.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018
.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Get NASA Formal Methods by 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 pages.
