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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Software Engineering and Formal Methods

More books from Springer Berlin Heidelberg

bigCover of the book Personalauswahl zwischen Anspruch und Wirklichkeit by

bigCover of the book Cosmic Rays in Star-Forming Environments by

bigCover of the book Heterogeneous Photocatalysis by

bigCover of the book Energie – Wie verschwendet man etwas, das nicht weniger werden kann? by

bigCover of the book Invariant Random Fields on Spaces with a Group Action by

bigCover of the book Advanced Mathematical Methods for Finance by

bigCover of the book Personalauswahl in der Wissenschaft by

bigCover of the book Orthopädisch-traumatologische Befunde by

bigCover of the book Noninvasive Mechanical Ventilation by

bigCover of the book Demand Driven Supply Chain by

bigCover of the book Failure Characteristics Analysis and Fault Diagnosis for Liquid Rocket Engines by

bigCover of the book Morphology and Function in MRI by

bigCover of the book Fundamental Approaches to Software Engineering by

bigCover of the book Kompendium pädiatrische Diabetologie by

bigCover of the book Mensch-Computer-Interaktion 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