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 II

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 Radiology Illustrated: Uroradiology by

bigCover of the book Environmental Stress and Amelioration in Livestock Production by

bigCover of the book Kristallographie by

bigCover of the book Lymphoproliferative Diseases of the Skin by

bigCover of the book Demokrit lässt grüßen by

bigCover of the book Stochastic Analysis and Related Topics by

bigCover of the book The Mechanoreceptors of the Mammalian Skin Ultrastructure and Morphological Classification by

bigCover of the book Intelligent Financial Portfolio Composition based on Evolutionary Computation Strategies by

bigCover of the book Nitrosyl Complexes in Inorganic Chemistry, Biochemistry and Medicine I by

bigCover of the book Intensivmedizin Fragen und Antworten by

bigCover of the book The Deductive Spreadsheet by

bigCover of the book Arctic Marine Governance by

bigCover of the book Combustion Engines Development by

bigCover of the book Experimenting on a Small Planet 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