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 Protein Complexes that Modify Chromatin by
bigCover of the book Landschaften geographisch verstehen und touristisch erschließen by
bigCover of the book Autonomic Innervation of the Heart by
bigCover of the book Lasers in Urological Surgery by
bigCover of the book Betriebssysteme kompakt by
bigCover of the book Periodic Review Inventory Systems by
bigCover of the book Total Hip Replacement by
bigCover of the book Reform in CEE-Countries with Regard to European Enlargement by
bigCover of the book Recent Results of Research on Arteriosclerosis by
bigCover of the book Praxishandbuch Nachhaltige Produktentwicklung by
bigCover of the book Bausteine der kindlichen Entwicklung by
bigCover of the book Macromolecular Concept and Strategy for Humanity in Science, Technology and Industry by
bigCover of the book Medical and Surgical Management of Tachyarrhythmias by
bigCover of the book Leucocyte Trafficking by
bigCover of the book Ergometry in Hypertensive Patients 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