Graham Birtwistle

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

5

Asynchronous Digital Circuit Design

Asynchronous Digital Circuit Design

Living art

Living art

VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis

Current Trends in Hardware Verification and Automated Theorem Proving

Current Trends in Hardware Verification and Automated Theorem Proving

IV Higher Order Workshop, Banff 1990

IV Higher Order Workshop, Banff 1990