While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.
€64.44
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 288 ● ISBN 9781439864234 ● 编辑 Manfred Kerber & Michael Kohlhase ● 出版者 CRC Press ● 发布时间 2001 ● 下载 3 时 ● 货币 EUR ● ID 7353343 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
75,745 此类电子书
