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 Complications in Endodontic Surgery by

bigCover of the book Total Productive Management - ganzheitlich by

bigCover of the book Business Project Management and Marketing by

bigCover of the book Modern Theories of Many-Particle Systems in Condensed Matter Physics by

bigCover of the book Mittag-Leffler Functions, Related Topics and Applications by

bigCover of the book Transactions on Computational Collective Intelligence XVIII by

bigCover of the book Research on Selected China's Legal Issues of E-Business by

bigCover of the book Hiroshima to Fukushima by

bigCover of the book Sustained Simulation Performance 2012 by

bigCover of the book Immunology of the Neonate by

bigCover of the book Low Dielectric Constant Materials for IC Applications by

bigCover of the book Energy Policies in the European Union by

bigCover of the book Marine Science Frontiers for Europe 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