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 Recent Advances in CFD for Wind and Tidal Offshore Turbines by

bigCover of the book Genetic Influences on Response to Drug Treatment for Major Psychiatric Disorders by

bigCover of the book Big Data Technologies and Applications by

bigCover of the book Algae-Based Biopharmaceuticals by

bigCover of the book ModelEd, TestEd, TrustEd by

bigCover of the book Computer Analysis of Images and Patterns by

bigCover of the book Computational Intelligence Methods for Bioinformatics and Biostatistics by

bigCover of the book Situated Dialog in Speech-Based Human-Computer Interaction by

bigCover of the book Strategies and Techniques for Quality and Flexibility by

bigCover of the book Modern Aspects of Josephson Dynamics and Superconductivity Electronics by

bigCover of the book Fuzzy Logic and Soft Computing Applications by

bigCover of the book Error Estimates for Well-Balanced Schemes on Simple Balance Laws by

bigCover of the book Process Mining in Healthcare by

bigCover of the book Hypocrisy in American Political Attitudes by

bigCover of the book The Art and Craft of Policy Analysis 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