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 Context-Aware Communication and Computing: Applications for Smart Environment by

bigCover of the book Non-coding RNAs and Inter-kingdom Communication by

bigCover of the book Secularism and Religion in Multi-faith Societies by

bigCover of the book Enriched Methane by

bigCover of the book A Compendium of Italian Economists at Oxbridge by

bigCover of the book Separation Logic for High-level Synthesis by

bigCover of the book Systems with Hidden Attractors by

bigCover of the book Homological and Computational Methods in Commutative Algebra by

bigCover of the book International Governance of the Arctic Marine Environment by

bigCover of the book Advances in Mechanics of Microstructured Media and Structures by

bigCover of the book Computational Transport Phenomena of Fluid-Particle Systems by

bigCover of the book Systemic Vasculitides: Current Status and Perspectives by

bigCover of the book Generalized Adjoint Systems by

bigCover of the book Intelligent Natural Language Processing: Trends and Applications by

bigCover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 9 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