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 In-situ Structure Characterization of Elastomers during Deformation and Fracture by

bigCover of the book Requirements in Engineering Projects by

bigCover of the book Semantic Web Collaborative Spaces by

bigCover of the book The Iron Pnictide Superconductors by

bigCover of the book Fracture, Fatigue, Failure and Damage Evolution, Volume 8 by

bigCover of the book The US-China Military and Defense Relationship during the Obama Presidency by

bigCover of the book Disaster Vulnerability, Hazards and Resilience by

bigCover of the book Colon Polyps and the Prevention of Colorectal Cancer by

bigCover of the book The Basal Ganglia by

bigCover of the book Handbook of State Aid for Film by

bigCover of the book Innovative Mobile and Internet Services in Ubiquitous Computing by

bigCover of the book Annual Update in Intensive Care and Emergency Medicine 2014 by

bigCover of the book Road Vehicle Automation by

bigCover of the book EU Law on Indications of Geographical Origin 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