Data & IT
Validation of Evolving Software
Hana Chockler • Daniel Kroening • Leonardo Mariani • Natasha Sharygina
Inbunden
1009:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 1009:-
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.
- Illustratör: Bibliographie
- Format: Inbunden
- ISBN: 9783319106229
- Språk: Engelska
- Antal sidor: 220
- Utgivningsdatum: 2015-07-10
- Förlag: Springer International Publishing AG