Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

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 Verified Software: Theories, Tools and Experiments

More books from Springer International Publishing

bigCover of the book American Jewish Year Book 2015 by

bigCover of the book More-than-Moore 2.5D and 3D SiP Integration by

bigCover of the book Metaheuristic Applications to Speech Enhancement by

bigCover of the book Artificial General Intelligence by

bigCover of the book Fault-Tolerant Digital Microfluidic Biochips by

bigCover of the book Applications of Data Management and Analysis by

bigCover of the book Rapid Prototyping in Cardiac Disease by

bigCover of the book Outlaw Motorcycle Clubs and Street Gangs by

bigCover of the book Business Cycles in the Run of History by

bigCover of the book Experimental Design Research by

bigCover of the book The 1940 Vrancea Earthquake. Issues, Insights and Lessons Learnt by

bigCover of the book Nutrient Use Efficiency in Plants by

bigCover of the book Preventing Mental Illness 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