Isbn: 9781627058339 - an introduction to verification of visualization techniques (synthesis lectures on visual computing, band 22) (1 Ergebnisse)

Soft cover. Zustand: As New. This book has been in storage since publication and is unread. Hence the description as new . 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.…