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 Globalization, EU Democracy Assistance and the World Social Forum by

bigCover of the book Business Modeling and Software Design by

bigCover of the book Statistical Learning from a Regression Perspective by

bigCover of the book Sociopolitics of Migrant Death and Repatriation by

bigCover of the book The Restoration of the Jews: Early Modern Hermeneutics, Eschatology, and National Identity in the Works of Thomas Brightman by

bigCover of the book Conquest of Body by

bigCover of the book ICT Innovations 2017 by

bigCover of the book Broadcast Design in Cognitive Radio Ad Hoc Networks by

bigCover of the book The Practice of Spatial Analysis by

bigCover of the book Emerging Issues in Global Marketing by

bigCover of the book Intergenerational Pathways to a Sustainable Society by

bigCover of the book Sensing the Nation's Law by

bigCover of the book Algorithms and Models for the Web Graph by

bigCover of the book International Perspectives on Translation, Education and Innovation in Japanese and Korean Societies 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