Graham Birtwistle – författare

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

5 produkter

1. 

   Current Trends in Hardware Verification and Automated Theorem Proving

   Av Graham Birtwistle, P.A. Subrahmanyam

   Häftad, 2011

   1409 kr

   Lägg i varukorg

2. 

   VLSI Specification, Verification and Synthesis

   Av Graham Birtwistle, P.A. Subrahmanyam

   Häftad, 2013

   1409 kr

   Lägg i varukorg

3. 

   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, 1991

   729 kr

   Lägg i varukorg

4. 

   Asynchronous Digital Circuit Design

   Av Graham Birtwistle, Alan Davis

   Häftad, 1995

   709 kr

   Lägg i varukorg

5. 

   Logics for Concurrency

   Structure versus Automata

   Av Faron Moller, Graham Birtwistle

   Häftad, 1996

   729 kr

   Lägg i varukorg