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 Complex Networks VII by

bigCover of the book Understanding the Course of Social Reality by

bigCover of the book A Construction Manual for Robots' Ethical Systems by

bigCover of the book LATIN 2018: Theoretical Informatics by

bigCover of the book Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects by

bigCover of the book Orthopedic Biomaterials by

bigCover of the book Russia and the European Union by

bigCover of the book Advances in Knowledge Discovery and Management by

bigCover of the book Resource Management for Heterogeneous Wireless Networks by

bigCover of the book The Exo-Weather Report by

bigCover of the book Structure of Approximate Solutions of Optimal Control Problems by

bigCover of the book Nutrition and Diet in Maternal Diabetes by

bigCover of the book Developing Modular-Oriented Simulation Models Using System Dynamics Libraries by

bigCover of the book Climate Change and Energy Dynamics in the Middle East 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