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 English Medium Instruction in Higher Education in Asia-Pacific by
bigCover of the book Asymptotical Mechanics of Composites by
bigCover of the book Multi-scale Quantitative Diagenesis and Impacts on Heterogeneity of Carbonate Reservoir Rocks by
bigCover of the book Europe in Prisons by
bigCover of the book The Destruction of Cultural Property as a Weapon of War by
bigCover of the book Breastfeeding and Media by
bigCover of the book Teaching and Learning in a Digital World by
bigCover of the book Techniques for Evaluating the Differences in Multiregional Input-Output Databases by
bigCover of the book Applied Reconfigurable Computing by
bigCover of the book Miles' Equation in Random Vibrations by
bigCover of the book An Economic Analysis of the Rise and Decline of Chinese Township and Village Enterprises by
bigCover of the book Mathematica for Bioinformatics by
bigCover of the book Information Retrieval Technology by
bigCover of the book Risk in The New York Times (1987–2014) by
bigCover of the book Statistical Language and Speech Processing 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