The Calculus of Computation : Decision Procedures with Applications to Verification - Softcover

Softcover

ISBN 10: 8184893965 ISBN 13: 9788184893960

Stock Image

The Calculus of Computation

Manna Zohar Bradley Aaron R.

Published by Springer (India) Private Limited, 2010

ISBN 10: 8184893965 ISBN 13: 9788184893960

New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 4 out of 5 stars

Condition: New. pp. 384. Seller Inventory # 6345310

� 12.84

� 6.50 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available