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 The Internet for Surgeons by

bigCover of the book Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 4 by

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

bigCover of the book Phosphorous Heterocycles I by

bigCover of the book Tax Progression in OECD Countries by

bigCover of the book Teaching and Researching English Accents in Native and Non-native Speakers by

bigCover of the book GPU Solutions to Multi-scale Problems in Science and Engineering by

bigCover of the book Scattering and Structures by

bigCover of the book Die Fälschung des Realismus by

bigCover of the book Food, Science and Society by

bigCover of the book JIMD Reports - Case and Research Reports, Volume 13 by

bigCover of the book Strategy, Control and Competitive Advantage by

bigCover of the book EuGH und Eigentumsgarantie by

bigCover of the book Mechanik und Wärmelehre by

bigCover of the book Principles and Practice of Research 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