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 Handbook on Business Process Management 2 by
bigCover of the book Pervasive Linux by
bigCover of the book Cancer Immunology by
bigCover of the book Dynamics of Knowledge, Corporate Systems and Innovation by
bigCover of the book Handbook of Engineering Acoustics by
bigCover of the book Mononitrates by
bigCover of the book Transactions on Computational Science XXV by
bigCover of the book Wärmefußabdrücke und Energieeffizienz by
bigCover of the book Regression by
bigCover of the book Gesetzestexte suchen, verstehen und in der Klausur anwenden by
bigCover of the book The Economic, Social and Political Elements of Climate Change by
bigCover of the book Evidenzbasierte Praxis in den Gesundheitsberufen by
bigCover of the book Fluid Dynamics of Packed Columns by
bigCover of the book Drosophila Eye Development by
bigCover of the book Environmental Stress and Amelioration in Livestock Production 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