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 Application of the Chebyshev-Spectral Method in Transport Phenomena by

bigCover of the book Learning and Intelligent Optimization by

bigCover of the book Complex Macromolecular Systems I by

bigCover of the book Data Intensive Computing for Biodiversity by

bigCover of the book Fertigungsverfahren 2 by

bigCover of the book Head and Neck Cancer Imaging by

bigCover of the book JIMD Reports, Volume 19 by

bigCover of the book CSR und Corporate Volunteering by

bigCover of the book Quantum Physics: The Bottom-Up Approach by

bigCover of the book Scrotal Pathology by

bigCover of the book The Turkmen Lake Altyn Asyr and Water Resources in Turkmenistan by

bigCover of the book Verhaltensorientiertes Innovationsmanagement by

bigCover of the book Primary Explosives 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