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

More books from Springer International Publishing

bigCover of the book Rotating Machinery, Hybrid Test Methods, Vibro-Acoustics & Laser Vibrometry, Volume 8 by
bigCover of the book Europe in Prisons by
bigCover of the book Common Eye Diseases and their Management by
bigCover of the book Regulated Bioanalysis: Fundamentals and Practice by
bigCover of the book Advances in Shape Memory Materials by
bigCover of the book Improving Educational Gender Equality in Religious Societies by
bigCover of the book Combinatorial Optimization and Applications by
bigCover of the book War, Denial and Nation-Building in Sri Lanka by
bigCover of the book Transforming the IT Services Lifecycle with AI Technologies by
bigCover of the book Education and Youth Agency by
bigCover of the book Left Septal Fascicular Block by
bigCover of the book Health Economics from Theory to Practice by
bigCover of the book EPSA11 Perspectives and Foundational Problems in Philosophy of Science by
bigCover of the book Clinical Low Field Strength Magnetic Resonance Imaging by
bigCover of the book Leadership for the Future Sustainable Development of Business and Education 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