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
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 288 ● ISBN 9781439864234 ● Redaktor Manfred Kerber & Michael Kohlhase ● Wydawca CRC Press ● Opublikowany 2001 ● Do pobrania 3 czasy ● Waluta EUR ● ID 7353343 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM
Więcej książek elektronicznych tego samego autora (ów) / Redaktor
74 471 Ebooki w tej kategorii
