Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)

by T.F.Melham (Author)

• New

  Paperback
  2009

  $31.03

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

• New

  Hardcover
  1993

  $143.95

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