Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

NASA Formal Methods

Clark Barrett

Misty Davies

Temesghen Kahsai

Language

English

Book Paperback

Libristo code: 16082821

Publishers Springer International Publishing AG, April 2017

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM... Full description

Libristo code: 16082821

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Protagoras Platón

Adobe ePub DRM

1.09 €

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.