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 Fraud Prevention in Online Digital Advertising by

bigCover of the book Ecosystem Services of Headwater Catchments by

bigCover of the book Demanding Energy by

bigCover of the book Quantum Computational Number Theory by

bigCover of the book Policy Diffusion and Telecommunications Regulation by

bigCover of the book Network Slicing for 5G and Beyond Networks by

bigCover of the book Temporal Patterns of Communication in Social Networks by

bigCover of the book Performing Arts as High-Impact Practice by

bigCover of the book Microsensing Networks for Sustainable Cities by

bigCover of the book Equality and Differentiation in Marketised Higher Education by

bigCover of the book Contact Mechanics of Articular Cartilage Layers by

bigCover of the book Antibacterial Surfaces by

bigCover of the book Modern Real Analysis by

bigCover of the book New Directions for Computing Education by

bigCover of the book Advances in Sustainable and Competitive Manufacturing Systems 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