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 Electrical Stimulation and Neuromuscular Disorders by

bigCover of the book Indonesia’s Delimited Maritime Boundaries by

bigCover of the book Currents in Industrial Mathematics by

bigCover of the book Immune Response in the Critically Ill by

bigCover of the book Hydrocarbon and Petroleum Geology of France by

bigCover of the book Mechanical Ventilation and Weaning by

bigCover of the book European Yearbook of International Economic Law 2012 by

bigCover of the book Study on the Consensus Salary System for Modern Enterprises by

bigCover of the book The Cementless Fixation of Hip Endoprostheses by

bigCover of the book Künstliche Intelligenz – Wann übernehmen die Maschinen? by

bigCover of the book Spinal Cord Tumors Experimental Neurosurgery Neurosurgical Intensive Care by

bigCover of the book Functional Metal-Organic Frameworks: Gas Storage, Separation and Catalysis by

bigCover of the book Nanostructure Semiconductor Optical Amplifiers by

bigCover of the book Environmental Compartments 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