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 An Armenian Mediterranean by
bigCover of the book Hardy Type Inequalities on Time Scales by
bigCover of the book Nazi-Looted Art and the Law by
bigCover of the book Nanotechnologies for Environmental Remediation by
bigCover of the book Information and Communication Technologies for Development by
bigCover of the book Data Driven by
bigCover of the book Social Wellbeing and the Values of Small-scale Fisheries by
bigCover of the book Metrical and Dynamical Aspects in Complex Analysis by
bigCover of the book Women's Evolving Lives by
bigCover of the book Classroom Behaviour Management in the Post-School Sector by
bigCover of the book On the Device-Independent Approach to Quantum Physics by
bigCover of the book Innovation in Clusters by
bigCover of the book Avoidable Deaths by
bigCover of the book Performative Experience Design by
bigCover of the book Security, Privacy, and Applied Cryptography Engineering 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