Get Free Shipping on orders over $0
Validation of Evolving Software - Daniel Kroening

Validation of Evolving Software

By: Daniel Kroening (Editor), Natasha Sharygina (Editor), Leonardo Mariani (Editor), Hana Chockler (Editor)

Hardcover | 10 July 2015

At a Glance

Hardcover


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Applied Mathematics with F# - Sudipta Mukherjee