Klaus Havelund
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Lecture Notes in Computer Science Klaus Havelund 2015 edition

Name: NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Lecture Notes in Computer Science
Price: 55.49 USD
Availability: OutOfStock
Author: Klaus Havelund

Price

$ 55.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Lecture Notes in Computer Science

Klaus Havelund

2015 edition

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. formal approaches to fault tolerance;

458 pages, 115 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	April 9, 2015
ISBN13	9783319175232
Publishers	Springer International Publishing AG
Pages	458
Dimensions	158 × 235 × 29 mm · 694 g
Language	French
Editor	Havelund, Klaus
Editor	Holzmann, Gerard
Editor	Joshi, Rajeev