Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Methods: Foundations and Applications

More books from Springer International Publishing

bigCover of the book Algorithmic Differentiation in Finance Explained by
bigCover of the book Recent Progress in Desalination, Environmental and Marine Outfall Systems by
bigCover of the book Algorithms for Solving Common Fixed Point Problems by
bigCover of the book Characterization of Zeolite-Based Coatings for Adsorption Heat Pumps by
bigCover of the book Foundational and Practical Aspects of Resource Analysis by
bigCover of the book Ethnicities and Tribes in Sub-Saharan Africa by
bigCover of the book Floating Offshore Wind Energy by
bigCover of the book Mathematical Analysis I by
bigCover of the book 10th International Symposium on High-Temperature Metallurgical Processing by
bigCover of the book Engaging Adolescent Learners by
bigCover of the book Progress in High-Dimensional Percolation and Random Graphs by
bigCover of the book Resilient Routing in Communication Networks by
bigCover of the book Cognitively Inspired Audiovisual Speech Filtering by
bigCover of the book Bridge Collapse Frequencies versus Failure Probabilities by
bigCover of the book Natural Compounds as Therapeutic Agents for Amyloidogenic Diseases 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