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 Polyelectrolyte Complexes in the Dispersed and Solid State II by

bigCover of the book Säure-Base-Diagramme by

bigCover of the book Tumours of the Female Lower Genital Tract by

bigCover of the book Die Klinik als Marke by

bigCover of the book Tensor Analysis and Elementary Differential Geometry for Physicists and Engineers by

bigCover of the book Integrated G Proteins Signaling in Plants by

bigCover of the book Baustellenmanagement im Anlagenbau by

bigCover of the book Biomechanics of the Primate Skull Base by

bigCover of the book Mesenchymal Stem Cells - Basics and Clinical Application I by

bigCover of the book Rechtsfragen der Obduktion und postmortalen Gewebespende by

bigCover of the book Radiological, Clinical and Biomechanical Aspects of Chest Trauma by

bigCover of the book Coronary Artery Diseases by

bigCover of the book Pathologies of Calcium Channels by

bigCover of the book Wastewater Management for Coastal Cities 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