skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A calculus of communicating systems
A calculus of communicating systems
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

2
Communication and concurrency
Communication and concurrency
Material Type:
Livro 		Adicionar ao Meu Espaço

Communication and concurrency

R. Milner 1934- (Robin)

New York Prentice Hall 1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.451 M636c ) e outros locais(Acessar)

3
The definition of standard ML revised
The definition of standard ML revised
Material Type:
Livro 		Adicionar ao Meu Espaço

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
Edinburgh LCF a mechanised logic of computation
Edinburgh LCF a mechanised logic of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

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
Automata, languages, and programming third international colloquium at the University of Edinburgh
Automata, languages, and programming third international colloquium at the University of Edinburgh
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and programming third international colloquium at the University of Edinburgh

Colloquium on Automata, Languages and Programming (3rd 1976 Edinburgh) S Michaelson; R Milner 1934- (Robin)

Edinburgh University Press c1976

Localização: IME - Inst. Matemática e Estatística    (QA800.C C714a 3. )(Acessar)

6
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

A Calculus of Communicating Systems

Milner, Robin Milner, Robin

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

Citações Citado por
7
Edinburgh LCF: A Mechanised Logic of Computation
Edinburgh LCF: A Mechanised Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Edinburgh LCF: A Mechanised Logic of Computation

Gordon, Michael J ; Milner, Arthur J ; Wadsworth, Christopher P

Berlin, Heidelberg: Springer Berlin Heidelberg 1979

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (5)

Data de Publicação 

De até
Refinar
  1. Antes de1979  (1)
  2. 1979Até1979  (1)
  3. 1980Até1988  (1)
  4. 1989Até1997  (2)
  5. Após 1997  (4)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.