Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Verified Software: Theories, Tools and Experiments

More books from Springer International Publishing

bigCover of the book Health Economics from Theory to Practice by
bigCover of the book Effective Field Theories for Heavy Majorana Neutrinos in a Thermal Bath by
bigCover of the book Urban Planning Education by
bigCover of the book The Human Body and Weightlessness by
bigCover of the book Information Technology and Intelligent Transportation Systems by
bigCover of the book Cultural Policy and Industries of Identity by
bigCover of the book Optimization Methods and Applications by
bigCover of the book Network and Parallel Computing by
bigCover of the book Understanding the Lean Enterprise by
bigCover of the book Focal Therapy of Prostate Cancer by
bigCover of the book Polymeric Hydrogels as Smart Biomaterials by
bigCover of the book Planetary Spacecraft Navigation by
bigCover of the book Challenging Topics in Neuroanesthesia and Neurocritical Care by
bigCover of the book Design of Organic Complementary Circuits and Systems on Foil by
bigCover of the book The Driving Forces of Change in Environmental Indicators 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