Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

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

More books from Springer International Publishing

bigCover of the book Organotrifluoroborate Preparation, Coupling and Hydrolysis by
bigCover of the book Integration of Immigrants and the Theory of Recognition by
bigCover of the book Surgical Quality Improvement by
bigCover of the book Algorithms and Models for the Web Graph by
bigCover of the book Science, Technology and Innovation Policies for Development by
bigCover of the book Differential Privacy and Applications by
bigCover of the book Global Supply Chain and Operations Management by
bigCover of the book Geometric Methods in PDE’s by
bigCover of the book Darwinian Biolinguistics by
bigCover of the book The Politics of Trauma and Memory Activism by
bigCover of the book Clinical Ethics Consultation: A Practical Guide by
bigCover of the book The Transnational Activist by
bigCover of the book Mobile Computing, Applications, and Services by
bigCover of the book Ethnic Conflict in Developing Societies by
bigCover of the book Learning and Collaboration Technologies. Novel Learning Ecosystems 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