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 Pathogenic Yeasts by
bigCover of the book So einfach ist Mathematik by
bigCover of the book Gute Lehre in den Naturwissenschaften by
bigCover of the book Neurodegenerative Diseases by
bigCover of the book Modeling and Control of Magnetic Fluid Deformable Mirrors for Adaptive Optics Systems by
bigCover of the book Operations Research for Health Planning and Administration by
bigCover of the book Adaptive Modelling, Estimation and Fusion from Data by
bigCover of the book Solutions Manual for Econometrics by
bigCover of the book Radiation Treatment and Radiation Reactions in Dermatology by
bigCover of the book Far-Field Optical Nanoscopy by
bigCover of the book Armed Conflict Injuries to the Extremities by
bigCover of the book Colorectal Cancer by
bigCover of the book Gesund trotz Multitasking by
bigCover of the book SAP R/3 Implementation by
bigCover of the book Strategies for Immunointerventions in Dermatology 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