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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Formal Methods: Foundations and Applications

More books from Springer International Publishing

bigCover of the book Going Global through Social Sciences and Humanities: A Systems and ICT Perspective by

bigCover of the book Crohn's Disease and Ulcerative Colitis by

bigCover of the book Data Analysis and Pattern Recognition in Multiple Databases by

bigCover of the book Search Based Software Engineering by

bigCover of the book Equilibrium Theory for Cournot Oligopolies and Related Games by

bigCover of the book The Fed at One Hundred by

bigCover of the book Mechanical Ventilation in the Critically Ill Obese Patient by

bigCover of the book Finite Volumes for Complex Applications VIII - Hyperbolic, Elliptic and Parabolic Problems by

bigCover of the book Innovative Numerical Approaches for Multi-Field and Multi-Scale Problems by

bigCover of the book Algorithms and Models for the Web Graph by

bigCover of the book Modern Luminescence Spectroscopy of Minerals and Materials by

bigCover of the book The Long-Term Fate of Invasive Species by

bigCover of the book Stability in International Finance by

bigCover of the book Multibody Mechatronic Systems by

bigCover of the book Physiologic Anchorage Control 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