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 Multicriteria Decision Analysis in Geographic Information Science by

bigCover of the book Quantum Dots for DNA Biosensing by

bigCover of the book Salt Deposits Their Origin and Composition by

bigCover of the book Coronary Artery Surgery by

bigCover of the book Contaminated Sediments by

bigCover of the book Long-Term Field Studies of Primates by

bigCover of the book Petrogenesis of Metamorphic Rocks by

bigCover of the book Innovative Quick Response Programs in Logistics and Supply Chain Management by

bigCover of the book New Structures for Physics by

bigCover of the book Nursing Law and Ethics by

bigCover of the book Systemkompetenz und Dynamiken in Partnerschaften by

bigCover of the book Essentials of Modern Optical Fiber Communication by

bigCover of the book Endosymbionts in Paramecium by

bigCover of the book Structural Vibration by

bigCover of the book Soil-Subsurface Change 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