Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Essentials of SGLT2 Inhibitors in Diabetes by
bigCover of the book Insurance Regulation in the European Union by
bigCover of the book Nanotechnology for Bioenergy and Biofuel Production by
bigCover of the book Earth's Early Atmosphere and Oceans, and The Origin of Life by
bigCover of the book Peacebuilding in Deeply Divided Societies by
bigCover of the book Introduction to Law by
bigCover of the book Soft Computing for Sustainability Science by
bigCover of the book Intelligent Computing by
bigCover of the book Parallel Genetic Algorithms for Financial Pattern Discovery Using GPUs by
bigCover of the book Advances in Information and Communication Technologies for Adapting Agriculture to Climate Change by
bigCover of the book Metadata by
bigCover of the book Statistical Analysis of Proteomics, Metabolomics, and Lipidomics Data Using Mass Spectrometry by
bigCover of the book Job Demands in a Changing World of Work by
bigCover of the book Energy Transitions by
bigCover of the book Infant Brain Development 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