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 Theoretische Physik für Studierende des Lehramts 2 by
bigCover of the book Geological Line Selection for the Qinghai-Tibet Railway Engineering by
bigCover of the book Notfallkommando - Kommunikation in Notfallsituationen für Gesundheitsberufe by
bigCover of the book Hybrid Adhesive Joints by
bigCover of the book Development of the Digestive System in the North American Opossum (Didelphis virginiana) by
bigCover of the book Uveitis Scoring System by
bigCover of the book Balancing Renewable Electricity by
bigCover of the book Geophysical Studies in the Caucasus by
bigCover of the book Cerebellar Infarct. Midline Tumors. Minimally Invasive Endoscopic Neurosurgery (MIEN) by
bigCover of the book Particle Image Velocimetry: Recent Improvements by
bigCover of the book Cellular Aspects of Hypertension by
bigCover of the book Late Reconstructions of Injured Ligaments of the Knee by
bigCover of the book The Economics of Bank Bankruptcy Law by
bigCover of the book Datenanalyse für Naturwissenschaftler und Ingenieure by
bigCover of the book Logic Circuit Design 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