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 Damping Optimization in Simplified and Realistic Disc Brakes by

bigCover of the book In Search of the Broad Spectrum Revolution in Paleolithic Southwest Europe by

bigCover of the book Wildlife Tourism, Environmental Learning and Ethical Encounters by

bigCover of the book Functional and Logic Programming by

bigCover of the book Organic and Hybrid Photonic Crystals by

bigCover of the book The Sulphur Cap in Maritime Supply Chains by

bigCover of the book Chinese Banking Reform by

bigCover of the book Marxism and Left-Wing Politics in Europe and Iran by

bigCover of the book Advanced Materials by

bigCover of the book Computational Linguistics and Intelligent Text Processing by

bigCover of the book Analytical Design of PID Controllers by

bigCover of the book Textbook of Cell Signalling in Cancer by

bigCover of the book Parametric and Nonparametric Inference for Statistical Dynamic Shape Analysis with Applications 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