FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, 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 Artificial Intelligence in Education by

bigCover of the book Energy Informatics by

bigCover of the book Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering by

bigCover of the book Irregularities in the Distribution of Prime Numbers by

bigCover of the book Corrosion and Stress Corrosion Testing of Aerospace Vehicle Structural Alloys by

bigCover of the book Postnationalism and the Challenges to European Integration in Greece by

bigCover of the book Decision Making and Optimization by

bigCover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by

bigCover of the book Cardiovascular Biomechanics by

bigCover of the book Philosophy, Travel, and Place by

bigCover of the book Empirically Informed Ethics: Morality between Facts and Norms by

bigCover of the book Coastal Ocean Observing by

bigCover of the book The Political Economy of Social Choices by

bigCover of the book Uncemented Femoral Stems for Revision Surgery by

bigCover of the book SystemC and SystemC-AMS in Practice 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