As society comes to rely increasingly on software for its welfare
and prosperity there is an urgent need to create systems in which
it can trust. Experience has shown that confidence can only come
from a more profound understanding of the issues, which in turn can
come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the
critical disciplines of computing and information science,
mathematics, logic, and complexity. All contributions are
self-contained, aiming at comprehensibility as well as
comprehensiveness. The volume also contains introductory hints to
technical issues, concise surveys, introductions, and various fresh
results and new perspectives.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!