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 Innovation, Finance, and the Economy by

bigCover of the book Henry James's Feminist Afterlives by

bigCover of the book The DV-Xα Molecular-Orbital Calculation Method by

bigCover of the book Solution Business by

bigCover of the book Advances in Time Series Data Methods in Applied Economic Research by

bigCover of the book Rat Experimental Transplantation Surgery by

bigCover of the book Behavior Modeling -- Foundations and Applications by

bigCover of the book Clinico-Pathological Atlas of Cardiovascular Diseases by

bigCover of the book The Soils of Ecuador by

bigCover of the book Recent Progress in Flow Control for Practical Flows by

bigCover of the book Design Computing and Cognition '18 by

bigCover of the book Advances and Applications in Chaotic Systems by

bigCover of the book Heavily-Doped 2D-Quantized Structures and the Einstein Relation by

bigCover of the book Advanced Visual Interfaces. Supporting Big Data Applications by

bigCover of the book Reversibility and Universality 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