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 Nanopackaging: From Nanomaterials to the Atomic Scale by
bigCover of the book Introduction to HPC with MPI for Data Science by
bigCover of the book Behaviour and Ecology of Spiders by
bigCover of the book Financial Crimes: Psychological, Technological, and Ethical Issues by
bigCover of the book Spaceplane HERMES by
bigCover of the book Quantum Modeling of Complex Molecular Systems by
bigCover of the book Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking by
bigCover of the book Safety-Critical Electrical Drives by
bigCover of the book Mothers in Medicine by
bigCover of the book Sexual Treason in Germany during the First World War by
bigCover of the book Direct and Large-Eddy Simulation X by
bigCover of the book Responding to China’s Rise by
bigCover of the book The Impact of Information on Modern Humans by
bigCover of the book Multibody Mechatronic Systems by
bigCover of the book Queueing Theory and Network Applications 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