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 Nanoscale Insights into Ion-Beam Cancer Therapy by

bigCover of the book Pediatric CNS Tumors by

bigCover of the book Bioethical Insights into Values and Policy by

bigCover of the book Franchised States and the Bureaucracy of Peace by

bigCover of the book Clinician's Guide to Mycosis Fungoides by

bigCover of the book Raoul Bott: Collected Papers by

bigCover of the book Nordic Contributions in IS Research by

bigCover of the book Knowledge and Project Management by

bigCover of the book Mathematics Teacher Preparation in Central America and the Caribbean by

bigCover of the book Invention of Tradition and Syncretism in Contemporary Religions by

bigCover of the book Philosophy and Cognitive Science II by

bigCover of the book Applications for Future Internet by

bigCover of the book Rare Metal Technology 2018 by

bigCover of the book High-Speed Decoders for Polar Codes by

bigCover of the book Optimization and Decision Support Systems for Supply Chains 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