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 Limit Theorems for Multi-Indexed Sums of Random Variables by

bigCover of the book Decision-Making in Committees by

bigCover of the book So werden wir lernen! by

bigCover of the book Emerging and Priority Pollutants in Rivers by

bigCover of the book Chemical Identification and its Quality Assurance by

bigCover of the book Partial Differential Equations: Theory, Control and Approximation by

bigCover of the book Intensive Variable and Its Application by

bigCover of the book Nuclear Medicine in the Management of Inflammatory and Infectious Diseases by

bigCover of the book Logic, Language, Information, and Computation by

bigCover of the book The Software Industry by

bigCover of the book Lie Algebras and Applications by

bigCover of the book Übungsbuch Mathematik für Wirtschaftswissenschaftler by

bigCover of the book Heparin - A Century of Progress by

bigCover of the book Environmental Monitoring using GNSS 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