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 Digital Transformation Shaping the Subconscious Minds of Organizations by

bigCover of the book Viral Dramaturgies by

bigCover of the book Prevention of Substance Use by

bigCover of the book Existentialism and Education by

bigCover of the book Constructions of the Irish Child in the Independence Period, 1910-1940 by

bigCover of the book Molecular Genetics of Endometrial Carcinoma by

bigCover of the book Faunal Heritage of Rajasthan, India by

bigCover of the book An Introduction to Mathematical Modeling of Infectious Diseases by

bigCover of the book Millimeter-Wave Antennas: Configurations and Applications by

bigCover of the book Geometric Aspects of Functional Analysis by

bigCover of the book Service-Oriented Computing by

bigCover of the book Level Set and PDE Based Reconstruction Methods in Imaging by

bigCover of the book Thorium Energy for the World by

bigCover of the book Algorithms and Discrete Applied Mathematics by

bigCover of the book Computational Biomechanics for Medicine 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