Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Methods: Foundations and Applications

More books from Springer International Publishing

bigCover of the book Low-Power Analog Techniques, Sensors for Mobile Devices, and Energy Efficient Amplifiers by
bigCover of the book Moving Target Defense for Distributed Systems by
bigCover of the book Enterprise, Organization, and Technology in China by
bigCover of the book Recent Developments and the New Direction in Soft-Computing Foundations and Applications by
bigCover of the book Introduction to Dynamics of Structures and Earthquake Engineering by
bigCover of the book Wired/Wireless Internet Communications by
bigCover of the book Optical, Infrared and Radio Astronomy by
bigCover of the book Electrodeposition of Nanostructured Materials by
bigCover of the book Extractives Industry Law in Africa by
bigCover of the book America's Failing Economy and the Rise of Ronald Reagan by
bigCover of the book Individual Rights in EU Law by
bigCover of the book Advanced Topics in Nonsmooth Dynamics by
bigCover of the book HCI International 2019 - Posters by
bigCover of the book Current Developments in Web Based Learning by
bigCover of the book Challenging Sociality 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