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 Laron Syndrome - From Man to Mouse by

bigCover of the book Im Netz der Nachricht by

bigCover of the book A Surgeons’ Guide to Cardiac Diagnosis by

bigCover of the book Ion Implantation in Semiconductors by

bigCover of the book Healthcare Management by

bigCover of the book Cusped Shell-Like Structures by

bigCover of the book Nosokomiale Pneumonie by

bigCover of the book Logic, Language, and Computation by

bigCover of the book High Energy Electrons in Radiation Therapy by

bigCover of the book Leistungsphysiologie by

bigCover of the book Frontiers in European Radiology by

bigCover of the book Alzheimer’s Disease by

bigCover of the book International Trade Policies and Climate Change Governance by

bigCover of the book Universities and Climate Change 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