G

G M Birtwistle

16 books found

Books by G M Birtwistle
SIMULA examplesG. M. Birtwistle
⏱ 28m

SIMULA examples

G. M. Birtwistle

197028 pp.
SIMULA beginG. M. Birtwistle
⏱ 6h 31m

SIMULA begin

G. M. Birtwistle

1973391 pp.
Notes on the SIMULA languageG. M. Birtwistle
⏱ 1h 56m

Notes on the SIMULA language

G. M. Birtwistle

1969116 pp.
Logics for concurrencyG. M. Birtwistle
⏱ 4h 26m

Logics for concurrency

G. M. Birtwistle

1996266 pp.
DEMOS, a system for discrete event modelling on SimulaG. M. Birtwistle
⏱ 3h 35m

DEMOS, a system for discrete event modelling on Simula

G. M. Birtwistle

1979215 pp.
VLSI specification, verification, and synthesisG. M. Birtwistle
⏱ 6h 50m

VLSI specification, verification, and synthesis

G. M. Birtwistle

1987410 pp.
Current trends in hardware verification and automated theorem provingG. M. Birtwistle
⏱ 8h 9m

Current trends in hardware verification and automated theorem proving

G. M. Birtwistle

1989489 pp.
Lebendige KunstG. M. Birtwistle
⏱ 5h 9m

Lebendige Kunst

G. M. Birtwistle

1996309 pp.
IV Higher Order Workshop, Banff 1990G. M. Birtwistle
⏱ 4h 55m

IV Higher Order Workshop, Banff 1990

G. M. Birtwistle

1991295 pp.
Asynchronous Digital Circuit DesignG. M. Birtwistle
⏱ 4h 22m

Asynchronous Digital Circuit Design

G. M. Birtwistle

1995262 pp.
Current Trends in Hardware Verification and Automated Theorem ProvingG. M. Birtwistle
⏱ 8h 9m

Current Trends in Hardware Verification and Automated Theorem Proving

G. M. Birtwistle

1989489 pp.
VLSI and parallel computationG. M. Birtwistle
⏱ 7h 54m

VLSI and parallel computation

G. M. Birtwistle

1990474 pp.
A system for discrete event modelling on SIMULAG. M. Birtwistle
⏱ 3h 34m

A system for discrete event modelling on SIMULA

G. M. Birtwistle

1979214 pp.
Living artG. M. Birtwistle
⏱ 4h 18m

Living art

G. M. Birtwistle

1986258 pp.
Logics for ConcurrencyFaron Moller

Logics for Concurrency

Faron Moller

1996No page data
SIMULA beginG M Birtwistle
⏱ 6h 34m

SIMULA begin

G M Birtwistle

1979394 pp.