Graham Birtwistle

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

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