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 Read More

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 Read Less

• All from $38.50
• New Books from $211.99
• Used Books from $135.12
• eBook from $38.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (2 Options) 180 Day Rental: $38.50 (Expires Jan 02, 2026) 365 Day Rental: $45.50 (Expires Jul 06, 2026) Buy eBook Lifetime Access: $69.99 Title: Symbolic Computation and Automated Reasoning Publisher: Taylor & Francis Print ISBN: 9781568811451, 1568811454 eText ISBN: 9781040186848 Edition: 2001 1st edition Format: EPUB eBook	$38.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ