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 Excel 2013 for Biological and Life Sciences Statistics by
bigCover of the book Imaginative Science Education by
bigCover of the book Learning Technology for Education in Cloud by
bigCover of the book River Contracts and Integrated Water Management in Europe by
bigCover of the book Discrete and Computational Geometry and Graphs by
bigCover of the book Artificial Evolution by
bigCover of the book Modern Real Analysis by
bigCover of the book Rumenology by
bigCover of the book Frontiers in Gynecological Endocrinology by
bigCover of the book HCI in Business, Government and Organizations. Information Systems and Analytics by
bigCover of the book Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines by
bigCover of the book Reliability and Statistics in Transportation and Communication by
bigCover of the book Electrochemistry of N4 Macrocyclic Metal Complexes by
bigCover of the book Continuous EEG Monitoring by
bigCover of the book Computer Supported Qualitative Research 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