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

Symbolic Computation and Automated Reasoning e-bog

546,06 DKK (ekskl. moms 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 546,06 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Kohlhase, Michael (redaktør)
Forlag A K Peters/CRC Press
Udgivet 2001-04-02
Længde 288 sider
Genrer Mathematics
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9781439864234

Beskrivelse

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.