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 Mechanical Properties of Polymers Measured through AFM Force-Distance Curves by

bigCover of the book Space Engineering by

bigCover of the book Metal-Based Composite Nanomaterials by

bigCover of the book Smart TV Security by

bigCover of the book Semantic Technology by

bigCover of the book Icelandic Morphosyntax and Argument Structure by

bigCover of the book Adaptive Control of Solar Energy Collector Systems by

bigCover of the book Polynomial Theory of Error Correcting Codes by

bigCover of the book Compact Representations for the Design of Quantum Logic by

bigCover of the book Large Scale Data Analytics by

bigCover of the book Patient-Centred Medicine in Transition by

bigCover of the book Engineering Electromagnetics by

bigCover of the book Production Yield of Muon-Induced Neutrons in Lead by

bigCover of the book Engineering and Enterprise by

bigCover of the book Sustainability Science: Field Methods and Exercises 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