Announces
|
COMPUTER-AIDED REASONING An Approach |
COMPUTER-AIDED REASONING ACL2 Case Studies |
|
by Matt Kaufmann Advanced Micro Devices, Inc., Austin, TX, USA Panagiotis Manolios, J Strother Moore Dept. of Computer Science, University of Texas at Austin, USA |
edited by Matt Kaufmann Advanced Micro Devices, Inc., Austin, TX, USA Panagiotis Manolios, J Strother Moore Dept. of Computer Science, University of Texas at Austin, USA |
|
Hardbound, ISBN 0-7923-7744-3, June 2000 List Price: USD 120.00 / NLG305.00 / GBP84.00 |
Hardbound, ISBN 0-7923-7849-0, June 2000 List Price: USD 140.00 / NLG 355.00 / GBP 98.00 |
|
Hardbound Set of 2 volumes, ISBN 0-7923-7880-6, June 2000 NLG 530.00 / USD 208.00 / GBP 150.00 |
|
25% DISCOUNT
off list price of this book when
ordered from Hingham, MA USA office
Order Form -- Fax (781) 681-9045 Today!
--------------------------------------------------------------------------------------------------------------------------------
|
Ship to: Name______________________________________ Address____________________________________ ___________________________________________ ___________________________________________ City/State/Zip_______________________________ Email:______________________________________ |
Payment Options ____Check or money order enclosed: $__________________ ____Purchase order attached: #________________________ (account holders only, please) ____Send me/my office a proforma invoice (books sent on receipt of payment) Charge my: ____VISA ____M/C ____AMEX Amount:_____________________plus shipping |
|
Return this form to:
Kluwer Academic Publishers Order Dept., Box 358, Accord Station Hingham, MA 02018-0358 Phone: (781)871-6600 $ Fax: (781) 681-9045e-mail: kluwer@wkap.com http://www.wkap.nl |
Card # ___________________________Exp.Date_________ Signature__________________________________________ Telephone Number:_________________________________ $ $4.00 shipping and handling on all orders shipped in the US & Canada$ $10.00 shipping & handling on all orders shipped outside the US & Canada$ Massachusetts residents add 5% sales tax$ Prices quoted in US dollars and subject to change without notice61600PC89 |