Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, 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 The Optimal Homotopy Asymptotic Method by
bigCover of the book Artificial Intelligence Applications and Innovations by
bigCover of the book Soft Computing Applications by
bigCover of the book Mind, Values, and Metaphysics by
bigCover of the book Cybernetics and Algorithms in Intelligent Systems by
bigCover of the book Controlled Natural Language by
bigCover of the book Homogeneous Turbulence Dynamics by
bigCover of the book School Effectiveness and Educational Management by
bigCover of the book Tissue Engineering for the Heart by
bigCover of the book Essays on New Institutional Economics by
bigCover of the book Microbes for Legume Improvement by
bigCover of the book A First Example of a Lyotropic Smectic C* Analog Phase by
bigCover of the book Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing by
bigCover of the book Optimization and Optimal Control in Automotive Systems by
bigCover of the book Statistical Applications from Clinical Trials and Personalized Medicine to Finance and Business Analytics 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