Opera Acts
Karen Henson
₹5,004
Higher Order Logic and Hardware Verification
by T. F. Melham, Thomas F. Melham
₹4,449
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.
Book details
- ISBN-13
- 9780521417181
- ISBN-10
- 052141718X
- Authors
- T. F. Melham, Thomas F. Melham
- Publisher
- Cambridge University Press
- Condition
- New
Related books
The Cambridge Companion to Science Fiction
Farah Mendlesohn, James Edward, Mendlesohn Farah
₹5,304
Twelfth Night
William Shakespeare, John Dover Wilson
₹2,968
Georg Wilhelm Friedrich Hegel
Georg Wilhelm Fredrich Hegel, Klaus Brinkmann, Daniel O. Dahlstrom
₹3,825
Greek and Roman Aesthetics
Oleg V. Bychkov, Anne Sheppard
₹4,922
Algebraic L-Theory and Topological Manifolds
Andrew Ranicki, A. a. Ranicki, Bela Bollobas
₹4,443
Protecting the World's Children
Unicef
₹4,051
Cambridge KJV Family Chronicle Bible, Blue Hb Cloth Over Boards
₹4,507
Finite-Element Plasticity and Metalforming Analysis
G. W. Rowe, C. E. N. Sturgess, P. Hartley
₹4,784
Interpreting Ancient Figurines
Richard G. Lesure
₹4,536
Emotions Across Languages and Cultures
Anna Wierzbicka, Keith Oatley, Antony Manstead
₹5,279
When Topology Meets Chemistry
Erica Flapan, Flapan Erica, Ronald Graham
₹4,486