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 Conceptualizing Copyright Exceptions in China and South Africa by

bigCover of the book Economics of Database-Assisted Spectrum Sharing by

bigCover of the book Social Networks: Models of Information Influence, Control and Confrontation by

bigCover of the book Human-Experiential Design of Presence in Everyday Blended Reality by

bigCover of the book Toward New Democratic Imaginaries - İstanbul Seminars on Islam, Culture and Politics by

bigCover of the book Cohort Intelligence: A Socio-inspired Optimization Method by

bigCover of the book Dream Consciousness by

bigCover of the book Functional Analysis in Interdisciplinary Applications by

bigCover of the book The Thermoballistic Transport Model by

bigCover of the book Integrated Uncertainty in Knowledge Modelling and Decision Making by

bigCover of the book Cancer Care in Countries and Societies in Transition by

bigCover of the book Against Plagiarism by

bigCover of the book Electronic Beam Steering and Polarization Agile Planar Antennas in Liquid Crystal Technology 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