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 Gastrointestinal Cancer by

bigCover of the book China's Macroeconomic Outlook by

bigCover of the book Diversity, Biomineralization and Rock Magnetism of Magnetotactic Bacteria by

bigCover of the book Microeconomic Risk Management and Macroeconomic Stability by

bigCover of the book P3HT Revisited – From Molecular Scale to Solar Cell Devices by

bigCover of the book Energy Balance in Motion by

bigCover of the book Platinum Coordination Complexes in Cancer Chemotherapy by

bigCover of the book Leichtbaukonzepte anhand einfacher Strukturelemente by

bigCover of the book How does MRI work? by

bigCover of the book Medical Decision Making by

bigCover of the book Entrepreneurship in the Balkans by

bigCover of the book Natural Fabrications by

bigCover of the book Essays in Socio-Economics by

bigCover of the book Software Project Management in a Changing World 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