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 Minimizing Incisions and Maximizing Outcomes in Cataract Surgery by

bigCover of the book Plasma Physics for Controlled Fusion by

bigCover of the book Entrepreneurship by

bigCover of the book The Politics of Military Reform by

bigCover of the book Globalization and Unemployment by

bigCover of the book Control of Growth Factors and Prevention of Cancer by

bigCover of the book Quantal Density Functional Theory by

bigCover of the book Financial Cryptography and Data Security by

bigCover of the book Design Thinking Research by

bigCover of the book Akademisch ausgebildetes Pflegefachpersonal by

bigCover of the book Reactions and Processes by

bigCover of the book Notch Regulation of the Immune System by

bigCover of the book Sensitivity Analysis for Neural Networks 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