Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

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 Qualitätsmanagement in der Luftfahrtindustrie by

bigCover of the book Pension Reform in Six Countries by

bigCover of the book Delta-Sigma A/D-Converters by

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

bigCover of the book Innovation, Employment and Growth Policy Issues in the EU and the US by

bigCover of the book Neurological Adverse Reactions to Anticancer Drugs by

bigCover of the book Sustainable Development in Rural China by

bigCover of the book Vereinsrecht - Schnell erfasst by

bigCover of the book Machine Learning in Healthcare Informatics by

bigCover of the book Computer Performance Optimization by

bigCover of the book The New Codebreakers by

bigCover of the book Economic Evaluations in Exploration by

bigCover of the book Grundlagen der Technischen Dokumentation by

bigCover of the book Gleichungen, Umformungen, Terme 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