Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

By: Ernie Cohen

  • Publisher:  Springer

  • Print ISBN: 9783642541070, 3642541070

  • eText ISBN: 9783642541087, 3642541089

  • Copyright year: 2014
  • Format: PDF
Available from $ 64.99 USD
SKU: 9783642541087
Bookshelf by Vitalsource

The world’s #1 eTextbook reader for students. VitalSource is the leading provider of online textbooks and course materials. More than 15 million users have used our Bookshelf platform over the past year to improve their learning experience and outcomes. With anytime, anywhere access and built-in tools like highlighters, flashcards, and study groups, it’s easy to see why so many students are going digital with Bookshelf.

Over a million

titles available from more than 1,000 publishers

Over 30,000

customer reviews with an average rating of 9.5

Over 3 billion

digital pages viewed over the past 12 months

Over 7,000

institutions using Bookshelf across 241 countries

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers by Ernie Cohen and Publisher Springer. Save up to 80% by choosing the eTextbook option for ISBN: 9783642541087, 3642541089. The print version of this textbook is ISBN: 9783642541070, 3642541070.

Back to Top