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 Sustainable Development of the Lake Baikal Region by

bigCover of the book Neonatal Intensive Care by

bigCover of the book Computer Vision Techniques for the Diagnosis of Skin Cancer by

bigCover of the book Alternative Dispute Resolution in European Administrative Law by

bigCover of the book Environmental Epigenomics in Health and Disease by

bigCover of the book Medical and Surgical Management of Tachyarrhythmias by

bigCover of the book Integrated Resource Strategic Planning and Power Demand-Side Management by

bigCover of the book Localized Surface Plasmon Resonance Based Nanobiosensors by

bigCover of the book Dormancy and Resistance in Harsh Environments by

bigCover of the book The Financial Systems of Industrial Countries by

bigCover of the book Introduction to Wind Energy Systems by

bigCover of the book EMDR in der Psychotherapie der PTBS by

bigCover of the book Liquidity Risk Management in Banks by

bigCover of the book The Architecture of Green Economic Policies by

bigCover of the book Statistical Evaluations in Exploration for Mineral Deposits 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