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 When Trucks Stop Running by

bigCover of the book Software Architecture by

bigCover of the book Systemic Corticosteroids for Inflammatory Disorders in Pediatrics by

bigCover of the book Proceedings of ELM-2015 Volume 1 by

bigCover of the book Triboluminescence by

bigCover of the book Plant Stress Tolerance by

bigCover of the book Chromogranins: from Cell Biology to Physiology and Biomedicine by

bigCover of the book Perspectives on Earthquake Geotechnical Engineering by

bigCover of the book Heat Shock Proteins in the Immune System by

bigCover of the book Natural Language Processing and Information Systems by

bigCover of the book More Harm than Good? by

bigCover of the book ARM Assembly Language with Hardware Experiments by

bigCover of the book A First Introduction to the Finite Element Analysis Program MSC Marc/Mentat by

bigCover of the book Time Optimal Control of Evolution Equations by

bigCover of the book Societies under Construction 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