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.
€63.83
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 288 ● ISBN 9781439864234 ● Penyunting Manfred Kerber & Michael Kohlhase ● Penerbit CRC Press ● Diterbitkan 2001 ● Muat turun 3 kali ● Mata wang EUR ● ID 7353343 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM
Lebih banyak ebook daripada pengarang yang sama / Penyunting
74,362 Ebooks dalam kategori ini
