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 Managementdialoge - Zukunftsorientierte Unternehmensgestaltung by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Plastic Surgery in the Sexually Handicapped by

bigCover of the book Projekt-, Bachelor- und Masterarbeiten by

bigCover of the book Ontology Engineering in a Networked World by

bigCover of the book Steuerung der betrieblichen Altersversorgung in Europa: garantierte Sicherheit? by

bigCover of the book Volkswirtschaftslehre by

bigCover of the book Fuzzy Cognitive Maps for Applied Sciences and Engineering by

bigCover of the book The Kyoto Protocol by

bigCover of the book Synthesis of Saturated Oxygenated Heterocycles II by

bigCover of the book Physical Control Methods in Plant Protection by

bigCover of the book Law and Agroecology by

bigCover of the book Containment Technology by

bigCover of the book Computed Tomography, Anatomy, and Morphometry of the Lower Extremity by

bigCover of the book Energie – Wie verschwendet man etwas, das nicht weniger werden kann? 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