Bemærk: Kan ikke leveres før jul.
Forventes på lager: 10-07-2015
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.
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2015 ed. |
| Udgivelsesdato | 10-07-2015 |
| Første udgivelsesår | 2015 |
| Illustrationer | 28 Illustrations, color; 32 Illustrations, black and white; VIII, 220 p. 60 illus., 28 illus. in color. |
| Fagredaktør | Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
| Originalsprog | Switzerland |
| Sideantal | 220 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 220 pages, 28 Illustrations, color; 32 Illustrations, black and white; VIII, 220 p. 60 illus., 28 il |
| Mål | 246 x 163 x 17 |
| ISBN-13 / EAN-13 | 9783319106229 |