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 Frontiers in Gynecological Endocrinology by

bigCover of the book Synthesis and Application of Organoboron Compounds by

bigCover of the book Intelligent Systems in Cybernetics and Automation Control Theory by

bigCover of the book New Insights From Recent Studies in Historical Astronomy: Following in the Footsteps of F. Richard Stephenson by

bigCover of the book Hyperbolic Systems with Analytic Coefficients by

bigCover of the book Applied Interdisciplinarity in Scholar Practitioner Programs by

bigCover of the book Psychology of Wounds and Wound Care in Clinical Practice by

bigCover of the book Surgical Intensive Care Medicine by

bigCover of the book Intelligent Computing by

bigCover of the book Radiation Therapy in Hematologic Malignancies by

bigCover of the book Concise Guide to Formal Methods by

bigCover of the book Operations Research and Enterprise Systems by

bigCover of the book Transatlantic Literature and Author Love in the Nineteenth Century by

bigCover of the book Hybrid and Fully Thermoelectric Solar Harvesting by

bigCover of the book The French Revolution and Religion in Global Perspective 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