Reset Filters
Author: (Graham M.)

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
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:
2
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:
Search Tools: Get RSS Feed — Email this Search —