Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket.

Seller Inventory # 37450

Contact seller

Report this item

Bibliographic Details

Title: Automated Reasoning: Introduction & Applications, 2nd Edition
Publisher: McGraw Hill
Publication Date: 1992
Language: English
ISBN 10: 007911251X
ISBN 13: 9780079112514
Binding: Hardcover
Condition: UsedVeryGood

About this title

Synopsis

For mathematicians, engineers, computer scientists, and logicians, explains how to use automated reasoning to solve problems in mathematics research, formal logic, circuit design and validation, real-time control, and program debugging and verification. About 30% of the material is different than the 1984 first edition. Includes an automated reasoning program, OTTER, on a 5<1/2>" diskette for an IBM compatible personal computer. Annotation copyright Book News, Inc. Portland, Or.

"About this title" may belong to another edition of this title.

Store Description

For more than 30 years we have operated as a warehouse/mail order operation.

Visit Seller's Storefront

Seller's business information

BookDepart
WV, U.S.A.

Sale & Shipping Terms

Terms of Sale

Availability of books confirmed by e-mail. Prepayment by check or money order in U.S. dollars. Or you may charge the purchase through the ABE.Com system. (Please do not send us credit card information, as we only process the order and ship the books.) Domestic shipping and handling is $3, which includes delivery confirmation and USPS tracking. Priority mailing within the United States is generally $7.50. Inquire for special mailing such as priority or registered. For international shipping, inqu...

More Information

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.