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 Schuldrecht Besonderer Teil by
bigCover of the book Anästhesie und Intensivmedizin für die Fachpflege by
bigCover of the book Ärztliche Großpraxis by
bigCover of the book Nano-Antimicrobials by
bigCover of the book Palliative Care in Oncology by
bigCover of the book New Discoveries on the β-Hydride Elimination by
bigCover of the book Advances in Natural Polymers by
bigCover of the book Fibrin Sealant in Operative Medicine by
bigCover of the book Primary Knee Arthroplasty by
bigCover of the book Content Analysis of Verbal Behavior by
bigCover of the book Seismic Wave Propagation and Scattering in the Heterogeneous Earth : Second Edition by
bigCover of the book Lava Flows and Domes by
bigCover of the book Handbuch Stressregulation und Sport by
bigCover of the book Physics of Lakes by
bigCover of the book JIMD Reports, Volume 35 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