The main goal of this text is to introduce the reader to the field of auto-validating algorithms by providing a theoretical foundation supplemented with illuminating examples. The target audience is... This description may be from another edition of this product.