T. F. Melham – författare

Visar alla böcker från författaren T. F. Melham. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Higher Order Logic and Hardware Verification

   Av T. F. Melham

   Häftad, 2009

   653 kr

   Lägg i varukorg

   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 …

2. 

   Higher Order Logic and Hardware Verification

   Av T. F. Melham

   Inbunden, 1993

   1962 kr

   Lägg i varukorg

   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 …