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 Chemical and Physical Behavior of Human Hair by

bigCover of the book Quantum Cosmology - The Supersymmetric Perspective - Vol. 1 by

bigCover of the book Mediators of Sepsis by

bigCover of the book Collecting, Processing and Presenting Geoscientific Information by

bigCover of the book Cortical Bone Healing after Internal Fixation and Infection by

bigCover of the book Myocardial Infarction at Young Age by

bigCover of the book Pasteurella multocida by

bigCover of the book Der Doppelgänger by

bigCover of the book VII Hotine-Marussi Symposium on Mathematical Geodesy by

bigCover of the book Nuclear Reactions by

bigCover of the book Handbuch Föderalismus - Föderalismus als demokratische Rechtsordnung und Rechtskultur in Deutschland, Europa und der Welt by

bigCover of the book The Wadden Sea Ecosystem 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