Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

By Manfred Kerber

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 description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1568811454
• ISBN13: 9781568811451
• Release Date: April 2001
• Publisher: A K PETERS
• Length: 284 Pages
• Weight: 1.24 lbs.
• Dimensions: 0.8" x 6.6" x 9.3"