skip to main content

Dynamic logic

David Harel 1950- Dexter Kozen 1951-; Jerzy Tiuryn

Cambridge, Mass MIT Press 2000

Localização: IME - Inst. Matemática e Estatística    (QA860 H275d )(Acessar)

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

Buscando em bases de dados remotas. Favor aguardar.