Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, 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 Protein Therapeutics by

bigCover of the book Differential Diagnosis of Movement Disorders in Clinical Practice by

bigCover of the book Issues and Challenges in Artificial Intelligence by

bigCover of the book The Fed at One Hundred by

bigCover of the book Online Damage Detection in Structural Systems by

bigCover of the book Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects by

bigCover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by

bigCover of the book The Alte Donau: Successful Restoration and Sustainable Management by

bigCover of the book Maillard Reaction in Foods by

bigCover of the book The Schism of ’68 by

bigCover of the book The New Ottoman Greece in History and Fiction by

bigCover of the book Reducing Mortality in the Perioperative Period by

bigCover of the book Landscapes and Landforms of Hungary by

bigCover of the book Extraction of Prosody for Automatic Speaker, Language, Emotion and Speech Recognition by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology Vol. 170 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