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 I

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 Ear Reconstruction by

bigCover of the book Business Relationship Management and Marketing by

bigCover of the book Fallsammlung zu Kriminologie, Jugendstrafrecht, Strafvollzug by

bigCover of the book Aufmerksamkeit und Handlungssteuerung by

bigCover of the book Upper Bound Limit Load Solutions for Welded Joints with Cracks by

bigCover of the book Optical Remote Sensing by

bigCover of the book Evolution, Kultur und Kriminalität by

bigCover of the book A Prehistory of Polymer Science by

bigCover of the book Congenital Vascular Malformations by

bigCover of the book Enterprise Content Management in Information Systems Research by

bigCover of the book Wenn Zwänge das Leben einengen by

bigCover of the book Dueck's Jahrmarkt der Futuristik by

bigCover of the book Organisationen in Bewegung bringen by

bigCover of the book Fragment-Based Drug Discovery and X-Ray Crystallography 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