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 Technology Enhanced Learning by
bigCover of the book Landslide Databases as Tools for Integrated Assessment of Landslide Risk by
bigCover of the book Theoretical Aspects of Computing – ICTAC 2016 by
bigCover of the book Advances in Intelligent Data Analysis XVI by
bigCover of the book Finite Approximations in Discrete-Time Stochastic Control by
bigCover of the book Algorithmic Decision Theory by
bigCover of the book Advances in Computer Vision by
bigCover of the book Big Data Analytics in Genomics by
bigCover of the book Applied Stochastic Control of Jump Diffusions by
bigCover of the book Dividuations by
bigCover of the book Imaginative Science Education by
bigCover of the book Serious Games and Edutainment Applications by
bigCover of the book Graph-Based Modelling in Engineering by
bigCover of the book The Land/Ocean Interactions in the Coastal Zone of West and Central Africa by
bigCover of the book p-Laplace Equation in the Heisenberg Group 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