Graham Birtwistle – författare

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

5 produkter

Kategorier

5 produkter

Current Trends in Hardware Verification and Automated Theorem Proving
AvGraham Birtwistle,P.A. Subrahmanyam
Häftad, Engelska, 2011
1 439 kr
Skickas inom 10-15 vardagar
VLSI Specification, Verification and Synthesis
AvGraham Birtwistle,P.A. Subrahmanyam
Häftad, Engelska, 2013
1 439 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
739 kr
Skickas inom 10-15 vardagar
Asynchronous Digital Circuit Design
AvGraham Birtwistle,Alan Davis
Häftad, Engelska, 1995
719 kr
Skickas inom 10-15 vardagar
Logics for Concurrency
Structure versus Automata
AvFaron Moller,Graham Birtwistle
Häftad, Engelska, 1996
739 kr
Skickas inom 10-15 vardagar