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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 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