Hoppa till sidans huvudinnehåll

Graham Birtwistle - Böcker

Visar alla böcker från författaren Graham Birtwistle.
5 produkter

Current Trends in Hardware Verification and Automated Theorem Proving

AvGraham Birtwistle,P.A. Subrahmanyam

Häftad, Engelska, 2011

1 379 kr

Skickas inom 10-15 vardagar

VLSI Specification, Verification and Synthesis

AvGraham Birtwistle,P.A. Subrahmanyam

Häftad, Engelska, 2013

1 379 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

Asynchronous Digital Circuit Design

AvGraham Birtwistle,Alan Davis

Häftad, Engelska, 1995

699 kr

Skickas inom 10-15 vardagar

Logics for Concurrency

Structure versus Automata

AvFaron Moller,Graham Birtwistle

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar