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.
€58.12
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9789401004138 ● 编辑 Helmut Schwichtenberg & Ralf Steinbruggen ● 出版者 Springer Netherlands ● 发布时间 2012 ● 下载 3 时 ● 货币 EUR ● ID 4593324 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
49,673 此类电子书
