Saxo Access Indkøbskurv
Symbolic Computation and Automated Reasoning (e-bog) af -
Kohlhase, Michael (redaktør)

Symbolic Computation and Automated Reasoning e-bog

436,85 DKK
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.
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android. Kan læses på Kindle
Forfattere Kohlhase, Michael (redaktør)
Forlag A K Peters/CRC Press
Udgivet 02.04.2001
Længde 288 sider
Genrer Mathematics
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9781439864234

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.