When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Higher Order Logic and Hardware Verification by T. Melham (English) Paperback Bo
- Item No : 236214875860
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile_uk_store
- Current Bid : US $80.18
-
* Item Description
- This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. 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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
