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

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319572871
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783319572871

1st ed. 2017

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

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

Product Classification: Computer programming / software development Computer programming / software engineering Algorithms & data structures Algorithms and data structures Compilers Compilers and interpreters Software Engineering Mathematical theory of computation

KSh 8,100.00

Currently unavailable 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 Clark Barrett 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 436 pages.