The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

by T.F.Melham (Author)

  • New

    Hardcover 1993

    $137.05
Synopsis

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.

$137.05

Quantity

20+ in stock

More Information

Format: Hardcover
 Pages: 179
 Publisher: Cambridge University Press
Published: 11 Nov 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181