Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
COMMUNICATING AND MOBILE SYSTEMS : PI-CALCULUS

by MILNER,R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: CAMBRIDGE CUP 1999Availability: Items available for loan: [Call number: 621.38195404 M659] (1).

Place hold
COMMUNICATING AND MOBILE SYSTEM : PI - CALCULAS

by MILNER ,R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: CAMBRIDGE CUP 2003Availability: Items available for loan: [Call number: 621.38195404 M659] (1).

Place hold
Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.

by Plotkin, G. (Gordon), 1946- | Tofte, Mads | Stirling, Colin P | Milner, R. (Robin), 1934-2010 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available

The definition of standard ML / Robin Milner ... [et al.].

by Milner, R. (Robin), 1934-2010 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Online access: Abstract with links to resource Availability: No items available