bokomslag Validation of Evolving Software
Data & IT

Validation of Evolving Software

Hana Chockler Daniel Kroening Leonardo Mariani Natasha Sharygina

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 220 sidor
  • 2016
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.
  • Författare: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
  • Format: Pocket/Paperback
  • ISBN: 9783319382005
  • Språk: Engelska
  • Antal sidor: 220
  • Utgivningsdatum: 2016-10-17
  • Förlag: Springer International Publishing AG