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 Growing Adaptive Machines by

bigCover of the book FBL Klein-Vogelbach Functional Kinetics Behandlungstechniken by

bigCover of the book Sexualmedizin in der Gynäkologie by

bigCover of the book 'Archaeologizing' Heritage? by

bigCover of the book Management geistigen Eigentums by

bigCover of the book Signaling and the Cytoskeleton by

bigCover of the book Ocular Infections by

bigCover of the book Dermatopharmacology of Topical Preparations by

bigCover of the book Economics and the Interpretation and Application of U.S. and E.U. Antitrust Law by

bigCover of the book A Computational Model of Reasoning from the Clinical Literature by

bigCover of the book Fuels From Biomass: An Interdisciplinary Approach by

bigCover of the book Optimization of Temporal Networks under Uncertainty by

bigCover of the book Adenocarcinoma of the Esophagogastric Junction by

bigCover of the book Biological Signals Classification and Analysis 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