Author Results for Birtwistle Graham M.

Birtwistle,G. M.
(Graham M.)
(Alan Lynn),
(Graham Mark),
Birtwistle,G. M
see all »
Birtwistle,Graham M.
British Computer Society
Davis,A.
Faron Moller, Graham Birtwistle, eds
G. Birtwistle, P.A. Subrahmanyam, editors

1
A system for discrete event modelling on SIMULA

Cover is for reference only
Main Authors: Birtwistle Graham M.
Published: Macmillan,
Publication Dates: 1979.
Call Number: TP15/B619/
Book
Save to List
Saved in:
2
VLSI specification, verification, and synthesis

Cover is for reference only
Group Author: Birtwistle G. M; Graham M. Subrahmanyam P. A
Published: Kluwer Academic Publishers,
Publication Dates: c1988.
Book
Save to List
Saved in:
3
Logics for concurrency structure versus automata

Cover is for reference only
Group Author: Moller Faron, 1962-; Birtwistle G. M.; (Graham M.)
Published: Springer,
Publication Dates: c1996.
Call Number: TP338.602.2/L832/
Book
Save to List
Saved in:
4
Current trends in hardware verification and automated theorem proving

Cover is for reference only
Group Author: Birtwistle G. M.; (Graham M.); Subrahmanyam P. A.
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TN47/C976/
Book
Save to List
Saved in:
5
Asynchronous digital circuit design

Cover is for reference only
Corporate Authors: British Computer Society
Group Author: Birtwistle G. M.; (Graham Mark), 1946-; Davis A.; (Alan Lynn), 1946-
Published: Springer-Verlag,
Publication Dates: c1995.
Call Number: TN431.2-532/A861/1993/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —