G

Graham Birtwistle

9 books found

Books by Graham Birtwistle
VLSI Specification, Verification and SynthesisGraham Birtwistle
⏱ 7h 1m

VLSI Specification, Verification and Synthesis

Graham Birtwistle

2011421 pp.
IV Higher Order Workshop, Banff 1990Graham Birtwistle
⏱ 4h 56m

IV Higher Order Workshop, Banff 1990

Graham Birtwistle

2011296 pp.
Living artGraham Birtwistle
⏱ 4h 18m

Living art

Graham Birtwistle

1986258 pp.
DEMOSGraham M. Birtwistle
⏱ 3h 35m

DEMOS

Graham M. Birtwistle

1983215 pp.
Notes on the SIMULA system classesGraham M. Birtwistle

Notes on the SIMULA system classes

Graham M. Birtwistle

1969No page data
Notes on the SIMULA languageGraham M. Birtwistle

Notes on the SIMULA language

Graham M. Birtwistle

1969No page data
SIMULA beginGraham M. Birtwistle
⏱ 6h 31m

SIMULA begin

Graham M. Birtwistle

1980391 pp.
Asynchronous Digital Circuit DesignGraham Birtwistle

Asynchronous Digital Circuit Design

Graham Birtwistle

2013No page data
Current Trends in Hardware Verification and Automated Theorem ProvingGraham Birtwistle
⏱ 8h 24m

Current Trends in Hardware Verification and Automated Theorem Proving

Graham Birtwistle

2014504 pp.