Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, 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 Quantitative Evaluation of Systems by

bigCover of the book British Policy-Making and the Need for a Post-Brexit Policy Style by

bigCover of the book Measures of Symmetry for Convex Sets and Stability by

bigCover of the book The Sub-national Dimension of the EU by

bigCover of the book Advances in Manufacturing by

bigCover of the book Nanostructured Materials for Energy Related Applications by

bigCover of the book Political Analysis Using R by

bigCover of the book Der Realismus im logischen Empirismus by

bigCover of the book Multilingual Education Yearbook 2019 by

bigCover of the book Governing the Nexus by

bigCover of the book Image Analysis and Recognition by

bigCover of the book Minority Rights and the National Question in Nigeria by

bigCover of the book Modern Thoraco-Lumbar Implants for Spinal Fusion by

bigCover of the book Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease by

bigCover of the book As the Witnesses Fall Silent: 21st Century Holocaust Education in Curriculum, Policy and Practice 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