NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Lecture Notes in Computer Science Book 9690)

ISBN-13: 9783319406480

ISBN-10: 3319406485

Author: Sanjai Rayadurgam

Edition: 1st ed. 2016

Binding: Kindle Edition

Publisher: Springer

Published: 2016

Sell this book           Buy or Rent?