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 Advances in Smart Vehicular Technology, Transportation, Communication and Applications by

bigCover of the book Approximation by Max-Product Type Operators by

bigCover of the book Deterministic Kinetics in Chemistry and Systems Biology by

bigCover of the book Police Chiefs in the UK by

bigCover of the book Susan Haack: Reintegrating Philosophy by

bigCover of the book Wireless Networking for Moving Objects by

bigCover of the book The Conceptual Structure of Reality by

bigCover of the book 3D Automated Breast Volume Sonography by

bigCover of the book Handbook of Positive Psychology in Intellectual and Developmental Disabilities by

bigCover of the book Emergent Nested Systems by

bigCover of the book Looking Back on President Barack Obama’s Legacy by

bigCover of the book Real-time Speech and Music Classification by Large Audio Feature Space Extraction by

bigCover of the book Information Granularity, Big Data, and Computational Intelligence by

bigCover of the book Identity Revisited and Reimagined by

bigCover of the book Genetic Programming 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