Handbook of Practical Logic and Automated Reasoning

Harrison, John

ISBN 10: 0521899575 / ISBN 13: 9780521899574

Published by Cambridge University Press, 2009

About this Item

Like New.

Seller Inventory # ERICA77505218995756

Bibliographic Details

• Title: Handbook of Practical Logic and Automated Reasoning
• Publisher: Cambridge University Press
• Publication Date: 2009
• Language: English
• ISBN 10: 0521899575
• ISBN 13: 9780521899574
• Binding: Hardcover
• Condition: Like New
• Book Type: book

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.