Skip to content
Scan a barcode
Scan
Hardcover Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium Book

ISBN: 1568811454

ISBN13: 9781568811451

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

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.

Recommended

Format: Hardcover

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

Save to List

Customer Reviews

0 rating
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured