Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Nonfiction, Computers, Programming, Software Development, General Computing

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

Big bigCover of Tools and Algorithms for the Construction and Analysis of Systems

More books from Springer Berlin Heidelberg

bigCover of the book Challenges in Cataract Surgery by

bigCover of the book Werbe- und Konsumentenpsychologie by

bigCover of the book Materials Research with Ion Beams by

bigCover of the book Fibrin Sealing in Surgical and Nonsurgical Fields by

bigCover of the book Erfolgsfaktoren für eine digitale Zukunft by

bigCover of the book A Manual of Lake Morphometry by

bigCover of the book Agricultural Supply Chains, Growth and Poverty in Sub-Saharan Africa by

bigCover of the book Molecular Mechanisms in Yeast Carbon Metabolism by

bigCover of the book Third World Diseases by

bigCover of the book Experimentalphysik 4 by

bigCover of the book Nuclear Hepatology by

bigCover of the book Rural Labor Migration, Discrimination, and the New Dual Labor Market in China by

bigCover of the book Massively Parallel Evolutionary Computation on GPGPUs by

bigCover of the book The Impacts of Climate Variability on Forests 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