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 Democracy in Europe by

bigCover of the book European Perspectives on Behavioural Law and Economics by

bigCover of the book Electronic Government by

bigCover of the book Decision Models in Engineering and Management by

bigCover of the book Intelligent Renewable Energy Systems by

bigCover of the book Computational Urban Planning and Management for Smart Cities by

bigCover of the book Seismic Assessment, Behavior and Retrofit of Heritage Buildings and Monuments by

bigCover of the book Reading Uncreative Writing by

bigCover of the book Probabilistic Cellular Automata by

bigCover of the book Statistical Analysis of Proteomics, Metabolomics, and Lipidomics Data Using Mass Spectrometry by

bigCover of the book Dismantling Race in Higher Education by

bigCover of the book Hypertension and Comorbidities by

bigCover of the book Michał Kalecki: An Intellectual Biography by

bigCover of the book Bad Governance and Corruption by

bigCover of the book Future of Food Gaps in Egypt 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