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 Chemical Evolution of Galaxies by

bigCover of the book Environmental Signal Processing and Adaptation by

bigCover of the book Chemistry for Sustainable Development in Africa by

bigCover of the book Epoxidations and Hydroperoxidations of α,β-Unsaturated Ketones by

bigCover of the book Vertigo - Leitsymptom Schwindel by

bigCover of the book Heat and Mass Transfer in Porous Media by

bigCover of the book Materials Research with Ion Beams by

bigCover of the book Vapor-Liquid Interfaces, Bubbles and Droplets by

bigCover of the book Palaeontologia Cathayana by

bigCover of the book Anästhesie. Fragen und Antworten by

bigCover of the book Sports Injuries in Children and Adolescents by

bigCover of the book Measurement, Monitoring, Modelling and Control of Bioprocesses by

bigCover of the book Software Engineering and Formal Methods by

bigCover of the book Endosonography in Gastroenterology 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