Higher Order Logic and Hardware Verification

€159.00
+ €4.99 Shipping
  • product image
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

  • Brand: Unbranded
Sold by:

Higher Order Logic and Hardware Verification

  • Brand: Unbranded

€159.00

In stock
+ €4.99 Shipping

14-Day Returns Policy

Sold by:

€159.00

In stock
+ €4.99 Shipping

14-Day Returns Policy

Payment methods:

Description

Higher Order Logic and Hardware Verification

This 1993 book shows how formal logic can be used to specify the behaviour 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 formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic which is a widely used formalism in this subject and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: T. F. Melham
  • Format: Hardback
  • Language: English
  • Publication Date: 1993/11/11
  • Publisher / Label: Cambridge University Press
  • Number of Pages: 180
  • Fruugo ID: 337977842-741638180
  • ISBN: 9780521417181

Delivery

Dispatched within 4 days

  • STANDARD: €4.99 - Delivery between Fri 24 July 2026–Tue 28 July 2026

Shipping from United Kingdom.

Returns & Cancellations

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy

Cancellations

You have the right to withdraw from your purchase within 14 days from receiving your order without giving a reason. To exercise your right easily, you can use the "Cancel my order" link in the footer of every page or within your Fruugo account under "Orders". Once you exercise your right to withdraw, we will send you an email acknowledgment. If your order has already been shipped by the retailer, we will provide you with the necessary return instructions to ensure your refund is processed promptly.

View full cancellation policy