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 Ethical Decision Making: Introduction to Cases and Concepts in Ethics by

bigCover of the book Pipelined Multiprocessor System-on-Chip for Multimedia by

bigCover of the book Strategic Management Accounting, Volume I by

bigCover of the book Sequence Stratigraphy of the Lower Miocene Moghra Formation in the Qattara Depression, North Western Desert, Egypt by

bigCover of the book Nonlinear Filtering by

bigCover of the book Combinatorial Optimization by

bigCover of the book Excel 2016 for Engineering Statistics by

bigCover of the book Recent Developments in the Regulation of Kinins by

bigCover of the book Key Topics in Management of the Critically Ill by

bigCover of the book Uncertainty in Economics by

bigCover of the book Generalized Models and Non-classical Approaches in Complex Materials 2 by

bigCover of the book Gastrointestinal Stromal Tumors by

bigCover of the book The Mobile Learning Voyage - From Small Ripples to Massive Open Waters by

bigCover of the book Psychiatrists in Combat by

bigCover of the book Higher Education in a Sustainable Society 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