Tiago Etiene, Robert M. Kirby, Cláudio T. Silva
Springer International Publishing
29.95 € · Paperback
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. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical...