Handbook of Practical Logic and Automated Reasoning

John Harrison

ISBN 10: 0521899575 / ISBN 13: 9780521899574

Published by Cambridge University Press, 2009

About this Item

1st edition. 704 pages. 9.75x7.00x1.50 inches. In Stock. Seller Inventory # x-0521899575

Bibliographic Details

Title: Handbook of Practical Logic and Automated ...

Publisher: Cambridge University Press

Publication Date: 2009

Binding: Hardcover

Condition: Brand New

About this title

Synopsis:

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

About the Author:

John Harrison is a Principal Engineer at the Intel Corporation in Portland, Oregon. He specialises in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.