Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, 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 Feed-in tariffs in the European Union by

bigCover of the book Earthquakes and Their Impact on Society by

bigCover of the book Introduction to Data Science by

bigCover of the book Mini-Grids for Rural Electrification of Developing Countries by

bigCover of the book Optical Coherence Tomography in Multiple Sclerosis by

bigCover of the book Human Reliability, Error, and Human Factors in Power Generation by

bigCover of the book Plasma Cell Neoplasms by

bigCover of the book Lectures on Quantum Statistics by

bigCover of the book Counter-terrorism and the Prospects of Human Rights by

bigCover of the book Experimental Algorithms by

bigCover of the book ICT for Promoting Human Development and Protecting the Environment by

bigCover of the book Distributions, Partial Differential Equations, and Harmonic Analysis by

bigCover of the book Engineering Education 4.0 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