Higher Order Logic and Hardware Verification

By: MELHAM, T.F

Show me the best price for this book
100% money back guarantee from BibliOZ.com. Books ordered may be returned for a full refund if they are not as described. Delivery is guaranteed - or your money back. Our staff are available to answer your questions and deal with any problems that arise.

Books ordered may be returned for a full refund if they are not as described. Delivery is guaranteed - or your money back.

Higher Order Logic and Hardware Verification by MELHAM, T.F
  • BibliOZ.com secure payment
  • New Zealand Book Sellers
  • Australian Booksellers Association

BibliOZ.com is operated by BiblioQuest International Pty Ltd, an Australian-owned and operated company and the region's leading book search service since 1994.

Order online or by phone

AUS 1800 067 877 NZL 0800 771 773 INT +61 2 4861 7666

 

What our customers say...

"Excellent service, communication and delivery"

"Easy to use and always find what I want"

LAST ITEM HELD MATCHING THIS TITLE STATED:

Cambridge University Press, 1993. Hardcover. Small tear to bottom of spine of cover, o/wise good condition. Part of the Cambridge Tracts in Theoretical Computer Science Series No. 31. Shows how formal logic can be used to specify the behaviour of hardware designs & reason about their correctness. Describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic & used to express assertions about design correctness & the relative accuracy of models of hardware behaviour. 165pp.

Other Books From BibliOZ.com


Floodtide by Nunn, Judy
Good Luck Cat by Harjo
Goodbye Hessle Road by Glazer Daphne
How to Draw: Portraits by Hodge, Susie