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 Handbook of Polymer Nanocomposites. Processing, Performance and Application by

bigCover of the book Quantal Density Functional Theory by

bigCover of the book Kindesmisshandlung by

bigCover of the book Autonomie und Familie by

bigCover of the book Communication and Popularization of Science and Technology in China by

bigCover of the book Tumors of the Fetus and Infant by

bigCover of the book Hiroshima to Fukushima by

bigCover of the book New Aspects in Hypertension Adrenoceptors by

bigCover of the book Molecular Conformation and Organic Photochemistry by

bigCover of the book The Course of Eating Disorders by

bigCover of the book Systems and Software Quality by

bigCover of the book The BCS-BEC Crossover and the Unitary Fermi Gas by

bigCover of the book Stable Isotope Geochemistry by

bigCover of the book MODAK - Modalitätenaktivierung in der Aphasietherapie 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