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 Fast Variables in Stochastic Population Dynamics by

bigCover of the book Applied Computational Intelligence and Mathematical Methods by

bigCover of the book Governance Ethics: Global value creation, economic organization and normativity by

bigCover of the book Microbes for Legume Improvement by

bigCover of the book Computer Engineering and Networking by

bigCover of the book Endocannabinoids and Lipid Mediators in Brain Functions by

bigCover of the book Critically Mediterranean by

bigCover of the book Microstructure and Properties of Ductile Iron and Compacted Graphite Iron Castings by

bigCover of the book Courts' Inquiry into Arbitral Jurisdiction at the Pre-Award Stage by

bigCover of the book Regulating Global Security by

bigCover of the book Cultural Landscape Management at Borobudur, Indonesia by

bigCover of the book Successful Science and Engineering Teaching by

bigCover of the book The Lived Sentence by

bigCover of the book Spaceplane HERMES by

bigCover of the book Crisis, Identity and Migration in Post-Colonial Southern Africa 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