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 Production Yield of Muon-Induced Neutrons in Lead by

bigCover of the book Space Operations: Inspiring Humankind's Future by

bigCover of the book Combinatorial Optimization by

bigCover of the book Atlas of Coronary Intravascular Optical Coherence Tomography by

bigCover of the book Quality Improvement in Behavioral Health by

bigCover of the book Computational Thinking in the STEM Disciplines by

bigCover of the book From Security to Community Detection in Social Networking Platforms by

bigCover of the book Space Charge Physics for Particle Accelerators by

bigCover of the book Applications of Evolutionary Computation by

bigCover of the book Topics in Modal Analysis I, Volume 7 by

bigCover of the book The Discourse of Business Meetings by

bigCover of the book Proceedings of 5th International Conference in Software Engineering for Defence Applications by

bigCover of the book Advances in Dynamic and Mean Field Games by

bigCover of the book Pulmonary Care and Clinical Medicine by

bigCover of the book Legal Insanity: Explorations in Psychiatry, Law, and Ethics 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