1
Tapsoft '91 proceedings of the..., Brighton, UK, April 8-12, 1991

Cover is for reference only
Corporate Authors: International Joint Conference on Theory and Practice of Software Development (4th 1991 Brighton
Group Author: Abramsky S; Maibaum Thomas S. E
Published: Springer-Verlag,
Publication Dates: 1991-
Call Number: TP31-53/I61.14/1991/ / / / /
Book
Save to List
Saved in:
3
Handbook of logic in computer science

Cover is for reference only
Group Author: Abramsky S 1953-; Gabbay Dov M 1945-; Maibaum T. S. E 1947-
Published: Clarendon Press,
Publication Dates: 1992-
Call Number: TP3-62/H236.1/
Book
Save to List
Saved in:
4
Handbook of logic in computer science

Cover is for reference only
Group Author: Abramsky S 1953-; Gabbay Dov M 1945-; Maibaum T. S. E 1947-
Published: Clarendon Press,
Publication Dates: 1992-
Call Number: TP3-62/H236.1/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —