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
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
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 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 470 pages.
Customers Who Bought This Also Bought
Numerical C
KSh 8,100.00
Static Analysis
KSh 8,100.00
Theory and Practice of Model Transformation
KSh 8,100.00
Building Web Applications with .NET Core 2.1 and JavaScript
KSh 9,900.00
Runtime Verification
KSh 10,800.00
Formal Methods
KSh 14,400.00
Practical PHP 7, MySQL 8, and MariaDB Website Databases
KSh 9,900.00
Model Checking Software
KSh 8,100.00
Formal Methods for Executable Software Models
KSh 8,100.00
Exploring Robotics with ROBOTIS Systems
KSh 9,900.00
More Math Into LaTeX
KSh 13,500.00
Programming Languages and Systems
KSh 6,350.00
