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 Search for Exotic Mono-jet Events by

bigCover of the book Stochastic Neuron Models by

bigCover of the book Business Intelligence by

bigCover of the book Trading in Uncertainty by

bigCover of the book Geodesign by Integrating Design and Geospatial Sciences by

bigCover of the book Justice, Education and the Politics of Childhood by

bigCover of the book General Relativity, Cosmology and Astrophysics by

bigCover of the book CT Colonography for Radiographers by

bigCover of the book Hypergraph Theory by

bigCover of the book Making Career Stories by

bigCover of the book Exploring the Early Universe with Gravitational Waves by

bigCover of the book A Mastery Approach to Complex Esophageal Diseases by

bigCover of the book Percutaneous Renal Surgery by

bigCover of the book Energy Informatics 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