Validation of Evolving Software
ISBN-13:
9783319106229
ISBN-10:
3319106228
Edition:
2015
Author:
Daniel Kroening, Hana Chockler, Leonardo Mariani, Natasha Sharygina
Publication date:
2015
Publisher:
Springer
Format:
Hardcover
228 pages
FREE US shipping
Book details
ISBN-13:
9783319106229
ISBN-10:
3319106228
Edition:
2015
Author:
Daniel Kroening, Hana Chockler, Leonardo Mariani, Natasha Sharygina
Publication date:
2015
Publisher:
Springer
Format:
Hardcover
228 pages
Summary
Validation of Evolving Software (ISBN-13: 9783319106229 and ISBN-10: 3319106228), written by authors
Daniel Kroening, Hana Chockler, Leonardo Mariani, Natasha Sharygina, was published by Springer in 2015.
With an overall rating of 4.3 stars, it's a notable title among other
books. You can easily purchase or rent Validation of Evolving Software (Hardcover) from BooksRun,
along with many other new and used
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.3.
Description
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}