skip to main content

Logic in computer science modelling and reasoning about systems

Michael Huth Mark Ryan

Cambridge u.a Cambridge University Press 2004

Localização: IME - Inst. Matemática e Estatística    (QA11.7 H979L 2.ed. e.8 )(Acessar)

IME - Inst. Matemática e Estatística (QA11.7 H979L 2.ed. e.8 ) 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
QA11.7 H979L 2.ed. e.1 2.ed. Item disponível 31000059670 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.1
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000059670
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 1
QA11.7 H979L 2.ed. e.2 2.ed. Item disponível 31000067862 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.2
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000067862
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 2
QA11.7 H979L 2.ed. e.3 2.ed. Item disponível 31000069256 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.3
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069256
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 3
QA11.7 H979L 2.ed. e.4 2.ed. Item disponível 31000069257 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.4
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069257
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 4
QA11.7 H979L 2.ed. e.5 2.ed. Item disponível 31000069258 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.5
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069258
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 5
QA11.7 H979L 2.ed. e.6 2.ed. Item disponível 31000069259 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.6
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069259
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 6
QA11.7 H979L 2.ed. e.7 2.ed. Item disponível 31000069260 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.7
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069260
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 7
QA11.7 H979L 2.ed. e.8 2.ed. Item disponível 31000069261 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA11.7 H979L 2.ed. e.8
  • Descrição: 2.ed.
  • Status: Item disponível
  • Código de Barras: 31000069261
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 8

Buscando em bases de dados remotas. Favor aguardar.