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 Nongenotoxic Carcinogenesis by

bigCover of the book Schallabsorber und Schalldämpfer by

bigCover of the book Erfolgreiche Teamleitung in der Pflege by

bigCover of the book Report on Development of Beijing, Tianjin, and Hebei Province (2013) by

bigCover of the book Alltagskreativität by

bigCover of the book Vibro-Acoustics, Volume 3 by

bigCover of the book Semantic Web Services by

bigCover of the book Algebraic Approaches to Partial Differential Equations by

bigCover of the book Chemical Structure of Pelagic Redox Interfaces by

bigCover of the book The Structure and Measurement of Intelligence by

bigCover of the book Decision-Making in Committees by

bigCover of the book The Research Report on Application of Low-carbon Technology in Expo 2010 Shanghai by

bigCover of the book Micrometeorology by

bigCover of the book Thrombolytic Therapy in Acute Ischemic Stroke II 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