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.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 288 ● ISBN 9781439864234 ● Biên tập viên Manfred Kerber & Michael Kohlhase ● Nhà xuất bản CRC Press ● Được phát hành 2001 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 7353343 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM