skip to main content

A formal semantics for the JamSession coordination platform

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva

São Paulo IME-USP 2012

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2012 v.5 )(Acessar)

IME - Inst. Matemática e Estatística (RT-MAC 2012 v.5 ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
RT-MAC 2012 v.5 Item disponível 2290697-10 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: RT-MAC 2012 v.5
  • Status: Item disponível
  • Código de Barras: 2290697-10
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: PCD - não circula

Buscando em bases de dados remotas. Favor aguardar.