1
The space and motion of communicating agents

Cover is for reference only
Main Authors: Milner R. (Robin), 1934-2010.
Published: Cambridge University Press,
Publication Dates: c2009.
Call Number: O189.21/M659
Book
Save to List
Saved in:
2
The definition of standard ML revised

Cover is for reference only
Group Author: Milner R.; (Robin) 1934-
Published: MIT Press,
Publication Dates: 1997.
Call Number: TP312ML/D313/
Book
Save to List
Saved in:
3
Commentary on Standard ML

Cover is for reference only
Main Authors: Milner R. (Robin), 1934-
Group Author: Milner R.; (Robin) 1934-; Tofte Mads.
Published: MIT Press,
Publication Dates: c1991.
Call Number: TP312ML/M659/
Book
Save to List
Saved in:
5
Computing tomorrow future research directions in computer science

Cover is for reference only
Group Author: Wand I. C.; (Ian C.), 1941-; Milner R.; (Robin) 1934-
Published: Cambridge University Press,
Publication Dates: 1996.
Call Number: TP3/C738.11/
Book
Save to List
Saved in:
6
Edinburgh LCF a mechanised logic of computation

Cover is for reference only
Main Authors: Gordon Michael J. C., 1948-
Group Author: Milner R. (joint author.); (Robin) 1934- (joint author.); Wadsworth Christopher P.
Published: Springer-Verlag,
Publication Dates: 1979.
Call Number: TP303/G664/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —