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 Computer Aided Drug Design in Industrial Research by

bigCover of the book The Good Society by

bigCover of the book Advances in Meteorology, Climatology and Atmospheric Physics by

bigCover of the book Carbon Cycling in the Baltic Sea by

bigCover of the book Does International Trade Need a Doctrine of Transnational Law? by

bigCover of the book Electric Stimulation of Bone Growth and Repair by

bigCover of the book Treatment of Male Infertility by

bigCover of the book Scanning SQUID Microscope for Studying Vortex Matter in Type-II Superconductors by

bigCover of the book Clinical Ophthalmic Oncology by

bigCover of the book Impact Stratigraphy by

bigCover of the book Change Management by

bigCover of the book Wild Crop Relatives: Genomic and Breeding Resources by

bigCover of the book Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie….in 5 Tagen by

bigCover of the book Brachial Plexus Lesions by

bigCover of the book Super-Deep Continental Drilling and Deep Geophysical Sounding 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