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 Quality in Nuclear Medicine by

bigCover of the book Neurological Regeneration by

bigCover of the book Applied Mathematics and Computational Intelligence by

bigCover of the book Anticipation and Medicine by

bigCover of the book A Dynamical Perspective on the ɸ4 Model by

bigCover of the book The SAGES Manual of Groin Pain by

bigCover of the book Quantification of Biophysical Parameters in Medical Imaging by

bigCover of the book Italy in International Relations by

bigCover of the book Advances in Information Retrieval by

bigCover of the book Elizabeth of York and Her Six Daughters-in-Law by

bigCover of the book Soft Computing for Sustainability Science by

bigCover of the book The Contribution of the Postal and Delivery Sector by

bigCover of the book The Influence of Chemistry on New Foods and Traditional Products by

bigCover of the book Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions 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