Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

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 Optical Binding Phenomena: Observations and Mechanisms by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Radial Basis Function (RBF) Neural Network Control for Mechanical Systems by

bigCover of the book Introduction to the Physics of Massive and Mixed Neutrinos by

bigCover of the book Land Use Impacts on Climate by

bigCover of the book On Gauge Fixing Aspects of the Infrared Behavior of Yang-Mills Green Functions by

bigCover of the book Effects of Joint Incongruity on Articular Pressure Distribution and Subchondral Bone Remodeling by

bigCover of the book EU Eastern Neighborhood by

bigCover of the book The Hamburg Lectures on Maritime Affairs 2011-2013 by

bigCover of the book Intensive Variable and Its Application by

bigCover of the book Performance Management Systems by

bigCover of the book The Little Emperors’ New Toys by

bigCover of the book Values of Our Times by

bigCover of the book Differential Geodesy 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