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 Metalinguistic Awareness in Children by

bigCover of the book Microsimulation Modelling of the Corporate Firm by

bigCover of the book Mental Health Informatics by

bigCover of the book Natural Killer Cells by

bigCover of the book Qualitätsmanagement in der Luftfahrtindustrie by

bigCover of the book Optical Coatings by

bigCover of the book Public Budgeting Reform in China: Theory and Practice by

bigCover of the book Handbook of Atopic Eczema by

bigCover of the book Innovations in Intelligent Machines-5 by

bigCover of the book Anthropogenic Compounds by

bigCover of the book Bioengineering Aspects in the Design of Gas Exchangers by

bigCover of the book Exhibit Marketing and Trade Show Intelligence by

bigCover of the book miRNA Regulation of the Translational Machinery by

bigCover of the book Generated Dynamics of Markov and Quantum Processes 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