NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - April 6, 2011
In case cover and title do not match, the title is correct

Mihaela Bobaru
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 24 - Jan 8, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

534 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 6, 2011
ISBN13 9783642203978
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 534
Dimensions 155 × 235 × 30 mm   ·   816 g
Language French  
Editor Bobaru, Mihaela
Editor Havelund, Klaus
Editor Holzmann, Gerard
Editor Joshi, Rajeev

See all of Mihaela Bobaru ( e.g. Paperback Book )