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 Wild Crop Relatives: Genomic and Breeding Resources by

bigCover of the book The Formation of Hydrocarbon Deposits in the North African Basins by

bigCover of the book Complexity Management with the K-Method by

bigCover of the book Color Atlas of Burn Reconstructive Surgery by

bigCover of the book The Endothelium in Cardiovascular Disease by

bigCover of the book Vernetztes Kompetenzmanagement by

bigCover of the book Constant Mean Curvature Surfaces with Boundary by

bigCover of the book Morphometrics for Nonmorphometricians by

bigCover of the book Nichtorganische Schlafstörungen by

bigCover of the book Dispersion Forces II by

bigCover of the book Behavioral Neurobiology of Anxiety and Its Treatment by

bigCover of the book Relating Software Requirements and Architectures by

bigCover of the book Dictionary of Abbreviations in Medical Sciences by

bigCover of the book In Search of Meaning by

bigCover of the book Acid-Base Diagrams 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