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 Inclusive Leadership by

bigCover of the book Computational Intelligence Methods for Bioinformatics and Biostatistics by

bigCover of the book On Keats’s Practice and Poetics of Responsibility by

bigCover of the book Fundamentals of Boundary-Layer Meteorology by

bigCover of the book Rethinking Media Development through Evaluation by

bigCover of the book Unusual Diseases with Common Symptoms by

bigCover of the book Internationalism, Imperialism and the Formation of the Contemporary World by

bigCover of the book Cultural Heritage and Value Creation by

bigCover of the book Russian and Soviet Health Care from an International Perspective by

bigCover of the book Resource Management for Heterogeneous Wireless Networks by

bigCover of the book Renewable Biofuels by

bigCover of the book Low-Noise Low-Power Design for Phase-Locked Loops by

bigCover of the book Introduction to Surgery for Students by

bigCover of the book Memory and the Wars on Terror by

bigCover of the book Information Systems, Logistics, and Supply Chain 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