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 II

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 Strafrecht Besonderer Teil 1 by

bigCover of the book Transgenic Crop Plants by

bigCover of the book Longitudinal Endosonography by

bigCover of the book Progress in Surgical Pathology by

bigCover of the book Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII by

bigCover of the book Campylobacter pylori by

bigCover of the book Handbuch der Baugeologie und Geotechnik by

bigCover of the book Change Management Praxisfälle by

bigCover of the book Im Fokus: Strategien der Evolution by

bigCover of the book Challenges in Analytical Quality Assurance by

bigCover of the book Learning Ultrasound Imaging by

bigCover of the book Hidden Champions in CEE and Turkey by

bigCover of the book Return to Play in Football by

bigCover of the book Applied Multivariate Statistical Analysis by

bigCover of the book Betriebsplanung im öffentlichen Personennahverkehr 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