Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Programming and Software Engineering 10227 (Paperback)
  • NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Programming and Software Engineering 10227 (Paperback)
zoom

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Programming and Software Engineering 10227 (Paperback)

(editor), (editor), (editor)
£59.99
Paperback 436 Pages / Published: 09/04/2017
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer International Publishing AG
ISBN: 9783319572871
Number of pages: 436
Weight: 682 g
Dimensions: 235 x 155 x 23 mm
Edition: 1st ed. 2017

You may also be interested in...

BDD in Action
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback
The Mythical Man-Month
Added to basket
Git Pocket Guide
Added to basket
Agile Product Management with Scrum
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Peopleware
Added to basket
£33.49
Paperback
The Algorithm Design Manual
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Pro Git
Added to basket
£35.50
Paperback
The Agile Samurai
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.