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 Visite! - Kommunikation auf Augenhöhe im interdisziplinären Team by

bigCover of the book Atomic Scale Interconnection Machines by

bigCover of the book Malignant Mesothelioma by

bigCover of the book Die Therapie des Facio-Oralen Trakts by

bigCover of the book Die 10 Gebote des gesunden Menschenverstands by

bigCover of the book Niederlassungen führen by

bigCover of the book Von Fall zu Fall - Pflege im Recht by

bigCover of the book Root Engineering by

bigCover of the book Stability Loss and Buckling Delamination by

bigCover of the book Bausteine der kindlichen Entwicklung by

bigCover of the book Lehrbuch der ökonomischen Analyse des Zivilrechts by

bigCover of the book Recht ex machina by

bigCover of the book Ultrasonography in Vascular Diagnosis 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