skip to main content

Verification of behaviourist multi-agent systems by means of formally guided simulations

Paulo Salem da Silva Ana Cristina Vieira de Melo; Marie-Claude Gaudel

2012

Localização: IME - Inst. Matemática e Estatística    (IME-T QA754.T S586v e.1 )(Acessar)

IME - Inst. Matemática e Estatística (IME-T QA754.T S586v e.1 ) 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
IME-T QA754.T S586v e.1 Item disponível 31000068140 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: IME-T QA754.T S586v e.1
  • Status: Item disponível
  • Código de Barras: 31000068140
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.