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 Migrant Integration in Times of Economic Crisis by

bigCover of the book Fundamentals of Electromigration-Aware Integrated Circuit Design by

bigCover of the book Coding for MIMO-OFDM in Future Wireless Systems by

bigCover of the book Mind, Brain and Technology by

bigCover of the book Mobile Computing, Applications, and Services by

bigCover of the book Fractures in the Elderly by

bigCover of the book Advances in Computer Science for Engineering and Education II by

bigCover of the book Interactive Theorem Proving by

bigCover of the book Multivariate Time Series With Linear State Space Structure by

bigCover of the book Strategic Marketing Cases in Emerging Markets by

bigCover of the book Bioremediation in Latin America by

bigCover of the book Networked Systems by

bigCover of the book Computer Information Systems and Industrial Management 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