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 Cutaneous Receptors by
bigCover of the book Design, Synthesis, Multifunctionalization and Biomedical Applications of Multifunctional Mesoporous Silica-Based Drug Delivery Nanosystems by
bigCover of the book Excitatory Amino Acids and Second Messenger Systems by
bigCover of the book Endoscopy by
bigCover of the book Advances in Solar Photovoltaic Power Plants by
bigCover of the book Complex Macromolecular Systems II by
bigCover of the book Planetary Exploration and Science: Recent Results and Advances by
bigCover of the book Unimolecular and Supramolecular Electronics II by
bigCover of the book Data Analysis and Classification by
bigCover of the book Applied Ethics in Management by
bigCover of the book International Politics by
bigCover of the book Principles of Evolution by
bigCover of the book Social Media für die erfolgreiche Arztpraxis by
bigCover of the book Alltagskreativität by
bigCover of the book Chinese Entrepreneurship 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