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 Heidegger and the Death of God by
bigCover of the book Financial Cryptography and Data Security by
bigCover of the book Fifty Years of Fuzzy Logic and its Applications by
bigCover of the book Digital Cultural Heritage by
bigCover of the book Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements by
bigCover of the book Advanced Information Systems Engineering Workshops by
bigCover of the book Methods of Mathematical Modelling by
bigCover of the book Educating Science Teachers for Sustainability by
bigCover of the book Creativity in the Recording Studio by
bigCover of the book Sustainable Mountain Regions: Challenges and Perspectives in Southeastern Europe by
bigCover of the book Abstract State Machines, Alloy, B, TLA, VDM, and Z by
bigCover of the book Electronic Participation by
bigCover of the book Dictionary Learning Algorithms and Applications by
bigCover of the book Deploying Foresight for Policy and Strategy Makers by
bigCover of the book Bent Functions 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