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 Biopatent Law: Patent Strategies and Patent Management by

bigCover of the book Tensor Algebra and Tensor Analysis for Engineers by

bigCover of the book Scientific Basis of Cancer Chemotherapy by

bigCover of the book Scattering Amplitudes in Gauge Theories by

bigCover of the book Smart Mobile Apps by

bigCover of the book Fundamentals of Scientific Computing by

bigCover of the book China: Innovative Green Development by

bigCover of the book Wenn Zwänge das Leben einengen by

bigCover of the book Terahertz Techniques by

bigCover of the book German Administrative Law by

bigCover of the book Computernetze kompakt by

bigCover of the book Understanding Chinese Firms from Multiple Perspectives by

bigCover of the book PNF in Lokomotion by

bigCover of the book Immobilien-Benchmarking 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