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 Formal Methods and Software Engineering by

bigCover of the book Humanism and Technology by

bigCover of the book Islamophobia and Radicalization by

bigCover of the book Dynamic Stability and Bifurcation in Nonconservative Mechanics by

bigCover of the book Actuarial Sciences and Quantitative Finance by

bigCover of the book Posttraumatic Stress Disorder and Related Diseases in Combat Veterans by

bigCover of the book Dynamic Memory Management for Embedded Systems by

bigCover of the book La phénoménologie génétique de Marc Richir by

bigCover of the book Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level by

bigCover of the book Biomedical Signals and Sensors III by

bigCover of the book Preventive Nutrition by

bigCover of the book Exploring the History of New Zealand Astronomy by

bigCover of the book Hayek: A Collaborative Biography by

bigCover of the book Holistic Simulation of Geotechnical Installation Processes by

bigCover of the book Cultural Landscape in Practice 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