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

436,85 DKK (inkl. moms 546,06 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.
Forfattere Kohlhase, Michael (redaktør)
Forlag A K Peters/CRC Press
Udgivet 2 april 2001
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.