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 Early Warning for Geological Disasters by

bigCover of the book Mathematisches Argumentieren, Begründen und Beweisen by

bigCover of the book Vibro-Acoustics, Volume 2 by

bigCover of the book Deconvolution Problems in Nonparametric Statistics by

bigCover of the book Cancer Stem Cells by

bigCover of the book Selected Problems in Physical Chemistry by

bigCover of the book Thinking About Social Policy by

bigCover of the book Fundamentals of Petrophysics by

bigCover of the book Perinatal Imaging by

bigCover of the book Advanced Practical Process Control by

bigCover of the book Microbial Metal Respiration by

bigCover of the book 3D Contrast MR Angiography by

bigCover of the book Clinical Gastrointestinal Endoscopy by

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