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 Urbanisation and Inequalities in a Post-Malthusian Context by

bigCover of the book Dynamic Inequalities On Time Scales by

bigCover of the book Recent Developments in the Philosophy of Science: EPSA13 Helsinki by

bigCover of the book Concrete Construction by

bigCover of the book Analysis of Large and Complex Data by

bigCover of the book Evolutionary Biology by

bigCover of the book Powertrain Instrumentation and Test Systems by

bigCover of the book Representing Communism After the Fall by

bigCover of the book Toward a Cosmopolitan Ethics of Mobility by

bigCover of the book Education and Working-Class Youth by

bigCover of the book Artificial Neural Networks and Machine Learning – ICANN 2016 by

bigCover of the book Robust Rank-Based and Nonparametric Methods by

bigCover of the book Circuit Cavity QED with Macroscopic Solid-State Spin Ensembles by

bigCover of the book Quantitative Analysis and IBM® SPSS® Statistics 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