Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, 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 Practices and Tools for Servitization by
bigCover of the book Embracing 'Asia' in China and Japan by
bigCover of the book Surgical Tools and Medical Devices by
bigCover of the book The Palgrave International Handbook of Football and Politics by
bigCover of the book Regulating and Supervising European Financial Markets by
bigCover of the book Handbook of Image-Guided Brachytherapy by
bigCover of the book Turnpike Theory of Continuous-Time Linear Optimal Control Problems by
bigCover of the book Spin-Orbit-Induced Spin Textures of Unoccupied Surface States on Tl/Si(111) by
bigCover of the book Requirements Engineering for Service and Cloud Computing by
bigCover of the book Crowdsourcing of Sensor Cloud Services by
bigCover of the book New Business and Regulatory Strategies in the Postal Sector by
bigCover of the book Renewable Energy Sources: Engineering, Technology, Innovation by
bigCover of the book Online Harassment by
bigCover of the book Sliding Mode Control by
bigCover of the book Handbook of Floating-Point Arithmetic 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