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 Intimacies, Citizenship and Refugee Men by
bigCover of the book Big Data: Conceptual Analysis and Applications by
bigCover of the book Animals and Science Education by
bigCover of the book New Atheism: Critical Perspectives and Contemporary Debates by
bigCover of the book Advances in Cartography and GIScience by
bigCover of the book Climate Change Adaptation in Eastern Europe by
bigCover of the book Legal Aspects Around Satellite Constellations by
bigCover of the book Practical Applications of Computational Biology and Bioinformatics, 13th International Conference by
bigCover of the book How to Count by
bigCover of the book Advances in Data Mining. Applications and Theoretical Aspects by
bigCover of the book Top 50 Grammar Mistakes by
bigCover of the book Understanding Gaia by
bigCover of the book Computer Vision in Control Systems-3 by
bigCover of the book Consumer Health Informatics by
bigCover of the book A Course in Classical Physics 2—Fluids and Thermodynamics 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