4251729
9780130544469
Automated Reasoning: Introduction and Applications - Larry Wos - Paperback
by Wos, Larry, Overbeck, Ross, Lusk, Ewing
458959
About this item
- Condition: New
- Provider: gridfreed
- Provider Rating: 68%
- Ships From: San Diego, CA
- Shipping: Standard
- Comments: In shrink wrap. Looks like an interesting title!
370333
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9780130544469
- ISBN: 0130544469
- Publisher: Prentice Hall PTR
AUTHOR
SUMMARY
Explains How a Computer Can Be Programmed to Reason. Discusses the Application of Automated Reasoning to Designing Logic Circuits & Proving Properties of Other Computer Programs.Wos, Larry is the author of 'Automated Reasoning: Introduction and Applications - Larry Wos - Paperback' with ISBN 9780130544469 and ISBN 0130544469.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
