Showing 1 - 6 results of 6 for search 'Birtwistle, Graham', query time: 0.02s Narrow Search
  1. 1
    Discrete Event Modelling on Simula
    by Birtwistle, Graham M.
    Published 1979
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    IV Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
    Published 1991
    Other Authors: “…Birtwistle, Graham…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Asynchronous Digital Circuit Design
    Published 1995
    Other Authors: “…Birtwistle, Graham…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Logics for Concurrency Structure versus Automata
    Published 1996
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    VLSI Specification, Verification and Synthesis
    Published 1988
    Other Authors: “…Birtwistle, Graham…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Current Trends in Hardware Verification and Automated Theorem Proving
    Published 1989
    Other Authors: “…Birtwistle, Graham…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: