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 Several Real Variables by
bigCover of the book Models for Cooperative Games with Fuzzy Relations among the Agents by
bigCover of the book Clinical Neuropsychology and Technology by
bigCover of the book Houses in Transformation by
bigCover of the book Mathematical Modeling of Lithium Batteries by
bigCover of the book The Aerodynamics of a Container Freight Train by
bigCover of the book Conducting Miranda Evaluations by
bigCover of the book Cloud Computing and Services Science by
bigCover of the book Hypergraph Theory in Wireless Communication Networks by
bigCover of the book Disaster Robotics by
bigCover of the book Technoscience and Citizenship: Ethics and Governance in the Digital Society by
bigCover of the book University Evolution, Entrepreneurial Activity and Regional Competitiveness by
bigCover of the book Progress in Cryptology – INDOCRYPT 2016 by
bigCover of the book The Congruences of a Finite Lattice by
bigCover of the book Mechatronics and Machine Vision in Practice 3 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