NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

1st ed. 2017

Book Details

Format Paperback / Softback

Book Series Programming and Software Engineering

ISBN-10 3319572873

ISBN-13 9783319572871

Edition 1st ed. 2017

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Apr 9th, 2017

Print length 436 Pages

AI Summary

Ksh 8,100.00

Werezi Extended Catalogue 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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.