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
Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Transatlantic Literature and Author Love in the Nineteenth Century by
bigCover of the book Bridging Algebra, Geometry, and Topology by
bigCover of the book The Conversational Interface by
bigCover of the book Gender, Pregnancy and Power in Eighteenth-Century Literature by
bigCover of the book Menopause by
bigCover of the book Extrasolar Planets and Their Host Stars by
bigCover of the book The Impact of Mining on the Landscape by
bigCover of the book The Essence and Measurement of Organizational Efficiency by
bigCover of the book Landslide Science for a Safer Geoenvironment by
bigCover of the book Smart Education and e-Learning 2016 by
bigCover of the book Against Plagiarism by
bigCover of the book Web-Age Information Management by
bigCover of the book Computational Forensics by
bigCover of the book Early Evolution of Human Memory by
bigCover of the book Sustainable Future Energy Technology and Supply Chains 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