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 Inclusion Polymers by
bigCover of the book Advances in Nanotheranostics I by
bigCover of the book Uroonkologie by
bigCover of the book Inorganic 3D Structures by
bigCover of the book Long-Term Field Studies of Primates by
bigCover of the book Klinische Psychologie und Psychotherapie für Bachelor by
bigCover of the book Measuring Roots by
bigCover of the book Numerical Simulation of Canopy Flows by
bigCover of the book Exoplaneten by
bigCover of the book Theoretische Physik 2 | Elektrodynamik by
bigCover of the book The Catecholaminergic Innervation of the Rat Amygdala by
bigCover of the book Molecular Mechanisms of Aging by
bigCover of the book Gips- und Castverbände by
bigCover of the book Divertikulose und Divertikelkrankheit by
bigCover of the book Innovation performance accounting 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