Validation of Evolving Software
Produktnummer:
1864e838262d804ec39c1203d91ef49e67
| Themengebiete: | Efficient Validation Evolving Software Formal Methods Hybrid Techniques Incremental Validation Testing Validation |
|---|---|
| Veröffentlichungsdatum: | 10.07.2015 |
| EAN: | 9783319106229 |
| Sprache: | Englisch |
| Seitenzahl: | 220 |
| Produktart: | Gebunden |
| Herausgeber: | Chockler, Hana Kroening, Daniel Mariani, Leonardo Sharygina, Natasha |
| Verlag: | Springer International Publishing |
Produktinformationen "Validation of Evolving Software"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen