Soft cover. Condition: As New. This book has been in storage since publication and is unread. Hence the description as new.
Published by Morgan & Claypool Publishers, 2015
Synopsis: As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Software verification is one of the tools available to attain such goals. The goal of this book is to introduce the reader to software verification in the context of visualization.