Cambridge University Press
Higher Order Logic and Hardware Verification (English, T. F. Melham | Thomas F. Melham)
₹4,449
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
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. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalized in logic and used to express assertions about design correctness and the relative accuracy of models of hardw…
ISBN: 9780521417181
Book Specifications
| ISBN-13 | 9780521417181 |
| ISBN-10 | 052141718X |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Higher Order Logic and Hardware Verification?
Higher Order Logic and Hardware Verification is available at ₹4,449 on BookShops.in.
Does BookShops.in offer free delivery for Higher Order Logic and Hardware Verification?
FREE delivery on all orders for Higher Order Logic and Hardware Verification.
Is Cash on Delivery available for Higher Order Logic and Hardware Verification?
Yes, Cash on Delivery (COD) is available for Higher Order Logic and Hardware Verification on BookShops.in. Pay when your order arrives.
What is the return policy for Higher Order Logic and Hardware Verification?
BookShops.in offers a 15-day hassle-free return policy for Higher Order Logic and Hardware Verification. Contact us at support@bookshops.in or call +91 90874 10993.
Is Higher Order Logic and Hardware Verification authentic?
Higher Order Logic and Hardware Verification is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Springer
Replacement of Renal Function by Dialysis: A Textbook of Dialysis | by William Drukker | Frank M. Parsons | J. F. Maher | Kluwer Academic Pub | English | 2nd Edition
₹5,083
McFarland & Company
Paul Auster and the Influence of Maurice Blanchot | by María Laura Arce | McFarland Publishing | English
₹3,643
Robin Grille Press
Parenting for a Peaceful World by Robin Grille
₹2,592
Rowman & Littlefield Publishers
Doctor Who and the Art of Adaptation: Fifty Years of Storytelling | by Marcus K. Harmes | Rowman & Littlefield Pub Inc | English
₹5,423
Routledge
The Routledge Handbook of Attachment | by Paul Holmes | Steve Farnfield | Routledge | English | 1st Edition
₹5,311
Springer
Contemporary Methods for Speech Parameterization | by Todor Ganchev | Springer Verlag | English | Illustrated Edition
₹4,187
Related Products
View All
Cambridge University Press
From Counting to Continuum | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Pr
₹5,414
Cambridge University Press
The Phonetics of Tarifit | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir |
₹2,054
Cambridge University Press
The Psychology of Personhood | by Jack Martin | Mark H. Bickhard | Cambridge University Press | English
₹3,127
Cambridge University Press
Indigo Plantations and Science in Colonial India | by Prakash Kumar | Cambridge University Press | English
₹5,213
Cambridge University Press
Mediterranean Islands, Fragile Communities and Persistent Landscapes: Antikythera in Long-Term Perspective | by Andrew Bevan | James Conolly | Cambridge University Press | English
₹5,473
Cambridge University Press
Nietzsche on Suffering | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge Universi
₹2,106