NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer International Publishing

bigCover of the book Natural Gas: A Commercial Perspective by

bigCover of the book Store-Operated Ca²⁺ Entry (SOCE) Pathways by

bigCover of the book Handbook of Convex Optimization Methods in Imaging Science by

bigCover of the book Urban Planning for Healthy European Cities by

bigCover of the book Generalized Perturbations in Modified Gravity and Dark Energy by

bigCover of the book Advances in Insect Control and Resistance Management by

bigCover of the book Islamic Capital Markets by

bigCover of the book Research in Computational Molecular Biology by

bigCover of the book Novel Methods and Technologies for Enterprise Information Systems by

bigCover of the book The Dirac Equation in Curved Spacetime by

bigCover of the book Mobile Networks for Biometric Data Analysis by

bigCover of the book Design, User Experience, and Usability: Novel User Experiences by

bigCover of the book Emotional Engineering, Vol.5 by

bigCover of the book Fog Computing in the Internet of Things by

bigCover of the book Descartes’ Treatise on Man and its Reception by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy