Bokus

Graham Birtwistle

Visar alla böcker från författaren Graham Birtwistle. Handla med fri frakt och snabb leverans.

  1. Current Trends in Hardware Verification and Automated Theorem Proving

    Current Trends in Hardware Verification and Automated Theorem Proving

    2012

  2. IV Higher Order Workshop, Banff 1990

    IV Higher Order Workshop, Banff 1990

    2012

  3. Asynchronous Digital Circuit Design

    Asynchronous Digital Circuit Design

    2013

  4. VLSI Specification, Verification and Synthesis

    VLSI Specification, Verification and Synthesis

    2013

  5. Logics for Concurrency

    Logics for Concurrency

    1996