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 Compact Heat Exchangers by

bigCover of the book Emotional Banking by

bigCover of the book Ethical Exploration in a Multifaith Society by

bigCover of the book Cancer Biomarkers in Body Fluids by

bigCover of the book CFD Techniques and Energy Applications by

bigCover of the book Rethinking Place Branding by

bigCover of the book Applications of the 'Fair Hearing' Norm in ECHR Article 6(1) to Civil Proceedings by

bigCover of the book Radiological Imaging of the Digestive Tract in Infants and Children by

bigCover of the book Competencies in Teaching, Learning and Educational Leadership in the Digital Age by

bigCover of the book Abatement Techniques for Reducing Emissions from Livestock Buildings by

bigCover of the book Transforming Mathematics Instruction by

bigCover of the book Practices for Network Management by

bigCover of the book New Technologies, Development and Application by

bigCover of the book Laser Metal Deposition Process of Metals, Alloys, and Composite Materials 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