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

Av Graham Birtwistle, P.A. Subrahmanyam m. fl

Häftad, Engelska, 2011

1 399 kr

Skickas inom 10-15 vardagar

VLSI Specification, Verification and Synthesis

Av Graham Birtwistle, P.A. Subrahmanyam m. fl

Häftad, Engelska, 2013

1 399 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

Av Graham Birtwistle

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar

Asynchronous Digital Circuit Design

Av Graham Birtwistle, Alan Davis m. fl

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

Logics for Concurrency

Structure versus Automata

Av Faron Moller, Graham Birtwistle

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar