Hoppa till sidans huvudinnehåll

Graham Birtwistle – författare

Visar alla böcker från författaren .
5 produkter
Graham Birtwistle, P.A. Subrahmanyam - Current Trends in Hardware Verification and Automated Theorem Proving, Häftad

Current Trends in Hardware Verification and Automated Theorem Proving

AvGraham Birtwistle,P.A. Subrahmanyam

Häftad, Engelska, 2011

1 399 kr

Skickas inom 10-15 vardagar

Graham Birtwistle, P.A. Subrahmanyam - VLSI Specification, Verification and Synthesis, Häftad

VLSI Specification, Verification and Synthesis

AvGraham Birtwistle,P.A. Subrahmanyam

Häftad, Engelska, 2013

1 399 kr

Skickas inom 10-15 vardagar

Graham Birtwistle - IV Higher Order Workshop, Banff 1990, Häftad

IV Higher Order Workshop, Banff 1990

Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

AvGraham Birtwistle

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar

Graham Birtwistle, Alan Davis - Asynchronous Digital Circuit Design, Häftad

Asynchronous Digital Circuit Design

AvGraham Birtwistle,Alan Davis

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

Faron Moller, Graham Birtwistle - Logics for Concurrency, Häftad

Logics for Concurrency

Structure versus Automata

AvFaron Moller,Graham Birtwistle

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar