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 Vietnam Tax Guide by
bigCover of the book Multivariable Calculus with Applications by
bigCover of the book Modelling of Magmatic and Allied Processes by
bigCover of the book Face Recognition Across the Imaging Spectrum by
bigCover of the book Medical Emergencies Caused by Aquatic Animals by
bigCover of the book Islamic Finance by
bigCover of the book Practical Tools for Designing and Weighting Survey Samples by
bigCover of the book Handbook of Climate Change Communication: Vol. 1 by
bigCover of the book Contagionism Catches On by
bigCover of the book Preparing Informal Science Educators by
bigCover of the book Earthquake Geotechnical Engineering Design by
bigCover of the book Special Metrics and Group Actions in Geometry by
bigCover of the book Contextualizing Systems Biology by
bigCover of the book Mobile Services for Toy Computing by
bigCover of the book The Hologenome Concept: Human, Animal and Plant Microbiota 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