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 Human Environment Interactions - Volume 2 by

bigCover of the book Plant Transposable Elements by

bigCover of the book Model Elements and Network Solutions of Heat, Mass and Momentum Transport Processes by

bigCover of the book New Trends in Atomic and Molecular Physics by

bigCover of the book Traumatic Hip Dislocation in Childhood by

bigCover of the book Heart-Brain Interactions by

bigCover of the book Intelligente Herstellung zuverlässiger Kupferbondverbindungen by

bigCover of the book Pediatric Ultrasound by

bigCover of the book Properties and Applications of Polymer Nanocomposites by

bigCover of the book Utility Maximization in Nonconvex Wireless Systems by

bigCover of the book Supply Chain Management and Advanced Planning by

bigCover of the book Cryptographic Hardware and Embedded Systems – CHES 2016 by

bigCover of the book Epigenetic Therapy of Cancer by

bigCover of the book Sexually Transmitted Infections and Sexually Transmitted Diseases 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