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 Computational Management Science by
bigCover of the book Archaeological and Paleontological Research in Lagoa Santa by
bigCover of the book Bioactive Compounds from Extremophiles by
bigCover of the book Overlapping Coalition Formation Games in Wireless Communication Networks by
bigCover of the book Séminaire de Probabilités XLVI by
bigCover of the book Random Numbers and Computers by
bigCover of the book Biophysical Effects of Cold Atmospheric Plasma on Glial Tumor Cells by
bigCover of the book Environmental Realism by
bigCover of the book The Palgrave Handbook of Radical Theology by
bigCover of the book Kato's Type Inequalities for Bounded Linear Operators in Hilbert Spaces by
bigCover of the book Making Value and Career Building in the Creative Economy by
bigCover of the book International Yearbook of Soil Law and Policy 2016 by
bigCover of the book Collaborative Economy and Tourism by
bigCover of the book The Urban Forest by
bigCover of the book Advances in Face Detection and Facial Image Analysis 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