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 Correlations in Condensed Matter under Extreme Conditions by

bigCover of the book Recent Advances in Information Systems and Technologies by

bigCover of the book Modern Approaches to Agent-based Complex Automated Negotiation by

bigCover of the book Indoor and Outdoor Nanoparticles by

bigCover of the book Central European Functional Programming School by

bigCover of the book Systems Modeling: Methodologies and Tools by

bigCover of the book Guide to Automotive Connectivity and Cybersecurity by

bigCover of the book The Marketing Challenge for Industrial Companies by

bigCover of the book Microfluidic Fuel Cells and Batteries by

bigCover of the book Exploring Environmental Ethics by

bigCover of the book Human Aspects of Information Security, Privacy and Trust by

bigCover of the book Normative Change and Security Community Disintegration by

bigCover of the book Understanding Auctions by

bigCover of the book Handbook of Distributed Generation by

bigCover of the book Machine Learning for the Quantified Self 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