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 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