Higher Order Logic and Hardware Verification Image close
Higher Order Logic and Hardware Verification by T.F. Melham
Higher Order Logic and Hardware Verification by T.F. Melham
Show Hide Adult Content
Higher Order Logic and Hardware Verification close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Electronic devices & materials

Higher Order Logic and Hardware Verification

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$98.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

6 weekly interest-free payments of $16.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$280.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$100.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$121.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$474.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$292.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$382.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Nominal Sets on Hardback by Andrew M. Pitts
$181.00
Nominal Sets
by Andrew M. Pitts ~ Hardback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$336.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas by E-.R. Olderog
$138.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$172.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$137.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$185.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic and Computation by Lawrence C. Paulson
$169.00
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory by J. Roger Hindley
$131.00
Basic Simple Type Theory
by J. Roger Hindley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$197.00
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$269.00
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
July 2nd, 2009
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
180
Dimensions
170x244x10
ISBN-13
9780521115322
Product ID
3098753

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by T.F. Melham

See all books by this author

Higher Order Logic and Hardware Verification on Hardback by T.F. Melham
$279.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Electronic devices & materials
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation