Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Information Technology, General Computing
Big bigCover of Software Engineering and Formal Methods

More books from Springer Berlin Heidelberg

bigCover of the book Approaching Business Models from an Economic Perspective by
bigCover of the book Enteroceptors by
bigCover of the book Handbook of Diesel Engines by
bigCover of the book Führung und Gefühl by
bigCover of the book Arbeit und Gesundheit im 21. Jahrhundert by
bigCover of the book Young Sun, Early Earth and the Origins of Life by
bigCover of the book Basic Concepts in Digital Signal Processing for Seismologists by
bigCover of the book Fine Needle Aspiration Cytology of the Breast by
bigCover of the book Datenqualität in Stichprobenerhebungen by
bigCover of the book Sedimentary and Evolutionary Cycles by
bigCover of the book Unimolecular and Supramolecular Electronics II by
bigCover of the book Probability in Complex Physical Systems by
bigCover of the book Congestion-Prone Services under Quality Competition by
bigCover of the book Applied Ecology and Human Dimensions in Biological Conservation by
bigCover of the book Gelassen und sicher im Stress 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