1
|
Material Type: Livro
|
|
Communication and concurrency
R Milner
Prentice Hall New York 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M25.30 M659c e.1 )(Acessar)
|
2
|
Material Type: Livro
|
|
A calculus of communicating systems
R. Milner 1934- (Robin)
Berlin New York Springer-Verlag 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.92 e.1 )(Acessar)
|
3
|
Material Type: Livro
|
|
The definition of standard ML revised
R Milner 1934- (Robin)
Cambridge, Mass. MIT Press 1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N15.01 M659ds e.1 )(Acessar)
|
4
|
Material Type: Livro
|
|
Edinburgh LCF a mechanised logic of computation
Michael J. C. Gordon 1948- R Milner 1934- (Robin); Christopher P Wadsworth
Berlin New York Springer-Verlag 1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.78 e.1 )(Acessar)
|
5
|
Material Type: Livro
|
|
Applicable mathematics a course for scientists and engineers
R. J Goult (Raymond John); R. F Hoskins (Roland Frank) 1926; J. A Milner
London Macmillan 1973
Localização:
EPBC - Esc. Politécnica-Bib Central
(51 Ap58 ) e outros locais(Acessar)
|