Higher Order Logic and Hardware Verification

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

by T. F. Melham, Thomas F. Melham

Cambridge University Press · 1993

₹4,449

Free delivery. Nothing extra to pay at checkout.

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.

About this book

Higher Order Logic and Hardware Verification by T. F. Melham & Thomas F. Melham is a 165-page book published by Cambridge University Press in 1993. It belongs to the Cambridge tracts in theoretical computer science series.

Topics covered include Data processing, Integrated circuits, Symbolic and mathematical Logic and Very large scale integration.