Delivery included to the United States

Computer-Aided Reasoning

Computer-Aided Reasoning An Approach - Advances in Formal Methods

Softcover reprint of the original 1st Edition 2000

Paperback (12 Oct 2012)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Other formats & editions

New
Hardback (30 Jun 2000) - 2000 $250.21

Publisher's Synopsis

Book information

ISBN: 9781461370031
Publisher: Springer US
Imprint: Springer
Pub date:
Edition: Softcover reprint of the original 1st Edition 2000
DEWEY: 006.3
Language: English
Number of pages: 270
Weight: 450g
Height: 235mm
Width: 155mm