Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, 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 Libraries: Data, Information, and Knowledge for Digital Lives by

bigCover of the book MultiMedia Modeling by

bigCover of the book Assessing the Viva in Higher Education by

bigCover of the book Jesus' Crucifixion Beatings and the Book of Proverbs by

bigCover of the book Computational Aspects and Applications in Large-Scale Networks by

bigCover of the book Network and System Security by

bigCover of the book Euro-Par 2017: Parallel Processing by

bigCover of the book Sustainable Access to Energy in the Global South by

bigCover of the book Defensive (anti-herbivory) Coloration in Land Plants by

bigCover of the book Systemic Decision Making by

bigCover of the book Consumption and Life-Styles by

bigCover of the book The Innovation in Computing Companion by

bigCover of the book Extrasolar Planets and Their Host Stars by

bigCover of the book The Economics of the Global Environment 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