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

• 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"