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 Analysis and Geometry by
bigCover of the book Machine Learning for the Quantified Self by
bigCover of the book Hypertension and Brain Damage by
bigCover of the book Cultivating Charismatic Power by
bigCover of the book Herpes Zoster: Postherpetic Neuralgia and Other Complications by
bigCover of the book Discrete and Computational Geometry and Graphs by
bigCover of the book Palliative Care in Pediatric Oncology by
bigCover of the book Acid Mine Drainage in South Africa by
bigCover of the book Nineteenth-Century Individualism and the Market Economy by
bigCover of the book Speech and Computer by
bigCover of the book The Hardy Space H1 with Non-doubling Measures and Their Applications by
bigCover of the book Atlas of Head and Neck Robotic Surgery by
bigCover of the book Recentering Africa in International Relations by
bigCover of the book Astronomy of the Milky Way by
bigCover of the book Parallel and Distributed Map Merging and Localization 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