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
Big bigCover of FM 2016: Formal Methods

More books from Springer International Publishing

bigCover of the book Blast Injury Science and Engineering by
bigCover of the book Computer Supported Qualitative Research by
bigCover of the book Energy-Efficient Smart Temperature Sensors in CMOS Technology by
bigCover of the book Social Coordination Frameworks for Social Technical Systems by
bigCover of the book Normative Plurality in International Law by
bigCover of the book Architecture, Urban Space and War by
bigCover of the book Modeling, Dynamics, Optimization and Bioeconomics I by
bigCover of the book Risk Analysis of Natural Hazards by
bigCover of the book Simulations of Decision-Making as Active Learning Tools by
bigCover of the book Our Place in the Universe by
bigCover of the book Proceedings of the Future Technologies Conference (FTC) 2018 by
bigCover of the book The Circulation of Anti-Austerity Protest by
bigCover of the book Lean Engineering for Global Development by
bigCover of the book Languages for Specific Purposes in the Digital Era by
bigCover of the book Agroecology 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