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 Challenging the Orthodoxy by

bigCover of the book Disruption of Protein-Protein Interfaces by

bigCover of the book JIMD Reports - Case and Research Reports, 2011/1 by

bigCover of the book Modern NMR Methodology by

bigCover of the book Abdominal and Pelvic MRI by

bigCover of the book On the Structure of the Human Striate Area by

bigCover of the book Zoo Animal Welfare by

bigCover of the book The Caval Catheter by

bigCover of the book Current Topics in Pathology / Ergebnisse der Pathologie by

bigCover of the book Verkehrssicherheit by

bigCover of the book Planbasierte Mensch-Maschine-Interaktion in multimodalen Assistenzsystemen by

bigCover of the book Six Sigma+Lean Toolset by

bigCover of the book Direct Store Delivery 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