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 Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 9 by

bigCover of the book New Developments in Competition Law and Economics by

bigCover of the book Green's Kernels and Meso-Scale Approximations in Perforated Domains by

bigCover of the book Emerging Bioresources with Nutraceutical and Pharmaceutical Prospects by

bigCover of the book On-Chip Electro-Static Discharge (ESD) Protection for Radio-Frequency Integrated Circuits by

bigCover of the book Energy Limits in Computation by

bigCover of the book Pragmatic Idealism and Scientific Prediction by

bigCover of the book Analysis and Simulation of Electrical and Computer Systems by

bigCover of the book Frequent Pattern Mining by

bigCover of the book Translation Strategies in Global News by

bigCover of the book Internationalization of Banks by

bigCover of the book Recognition of Foreign Administrative Acts by

bigCover of the book Introductory Statistics for Business and Economics by

bigCover of the book Computer Networks and Distributed Systems by

bigCover of the book Learning and Intelligent Optimization 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