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 Synthesis and Characterization of Glycosides by
bigCover of the book Islamic Marketing by
bigCover of the book Energy Technology and Valuation Issues by
bigCover of the book Applications of Membrane Computing in Systems and Synthetic Biology by
bigCover of the book A Mathematical Approach to Protein Biophysics by
bigCover of the book Climate Change, Glacier Response, and Vegetation Dynamics in the Himalaya by
bigCover of the book Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets by
bigCover of the book Probability for Statisticians by
bigCover of the book Cloud Computing by
bigCover of the book Current Issues in Transitional Justice by
bigCover of the book Adaptations of Coastal Cities to Global Warming, Sea Level Rise, Climate Change and Endemic Hazards by
bigCover of the book The DV-Xα Molecular-Orbital Calculation Method by
bigCover of the book Psychoanalyzing the Left and Right after Donald Trump by
bigCover of the book Educational Games for Soft-Skills Training in Digital Environments by
bigCover of the book Planet Mercury 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