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 The Financial Impact of Political Connections by

bigCover of the book Food Waste Reduction and Valorisation by

bigCover of the book Wireless Communications for Power Substations: RF Characterization and Modeling by

bigCover of the book Perfecting Engineering and Technical Drawing by

bigCover of the book Upper Middle Class Social Reproduction by

bigCover of the book Thermal Cracking of Massive Concrete Structures by

bigCover of the book Animal Models of Ophthalmic Diseases by

bigCover of the book University of Toronto Mathematics Competition (2001–2015) by

bigCover of the book Political Sentiments and Social Movements by

bigCover of the book The Helmholtz Legacy in Physiological Acoustics by

bigCover of the book Graph Drawing and Network Visualization by

bigCover of the book The Monsoons and Climate Change by

bigCover of the book The Media, the Public and the Great Financial Crisis by

bigCover of the book The Human Face of Water Security 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