Higher Order Logic and Hardware Verification

Name: Higher Order Logic and Hardware Verification
Brand: Cambridge University Press
SKU: 9780521115322
Price: 4628.00 INR
Availability: InStock

by T. Melham

Cambridge University Press

₹4,628

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification.

Description supplied by the publisher.