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 Control and Prediction of Solid-State of Pharmaceuticals by
bigCover of the book Complementary and Alternative Medicine by
bigCover of the book Advances in Cryptology – CRYPTO 2018 by
bigCover of the book Energy Management—Collective and Computational Intelligence with Theory and Applications by
bigCover of the book Spatial Similarity Relations in Multi-scale Map Spaces by
bigCover of the book Models for Cooperative Games with Fuzzy Relations among the Agents by
bigCover of the book Internal Erosion in Earthdams, Dikes and Levees by
bigCover of the book Automotive User Interfaces by
bigCover of the book Sustainable Development, Knowledge Society and Smart Future Manufacturing Technologies by
bigCover of the book Trends and Challenges in Science and Higher Education by
bigCover of the book Domain Decomposition Methods in Science and Engineering XXIV by
bigCover of the book Sustainability in a Digital World by
bigCover of the book The Dynamics of Corporate Social Responsibility by
bigCover of the book Human Behavior Understanding in Networked Sensing by
bigCover of the book Universities as Agencies 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