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 EAI International Conference on Technology, Innovation, Entrepreneurship and Education by

bigCover of the book Text, Speech, and Dialogue by

bigCover of the book Historical Disaster Experiences by

bigCover of the book Introduction to Scientific Computing and Data Analysis by

bigCover of the book Web Information Systems and Technologies by

bigCover of the book Theory of Heavy-Fermion Compounds by

bigCover of the book Probabilistic Safety Assessment of WWER440 Reactors by

bigCover of the book Machine Learning for Model Order Reduction by

bigCover of the book Diagnosis and Endoscopic Management of Digestive Diseases by

bigCover of the book Non-commutative Multiple-Valued Logic Algebras by

bigCover of the book The Alienated Academic by

bigCover of the book Combined Stresses in Plants by

bigCover of the book Fiber Optic Sensors by

bigCover of the book The Economy of South Asia 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