Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Integrated Formal Methods

More books from Springer International Publishing

bigCover of the book Integrated Planning of Heat Flows in Production Systems by
bigCover of the book Shape Casting by
bigCover of the book All Sides to an Oval by
bigCover of the book Advances in Neural Computation, Machine Learning, and Cognitive Research II by
bigCover of the book Web Engineering by
bigCover of the book Trusted Computing Platforms by
bigCover of the book Machine Learning, Optimization, and Data Science by
bigCover of the book Models of Thermochemical Heat Storage by
bigCover of the book Perspectives of System Informatics by
bigCover of the book Plant Biomechanics by
bigCover of the book From Riemann to Differential Geometry and Relativity by
bigCover of the book Luxury Selling by
bigCover of the book Pervasive Computing Paradigms for Mental Health by
bigCover of the book EPSA11 Perspectives and Foundational Problems in Philosophy of Science by
bigCover of the book Endangered Forested Wetlands of Sundaland 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