skip to main content
Idioma:

Logic in computer science modelling and reasoning about systems

Michael Huth 1962- Mark Ryan 1962-

Cambridge, England Cambridge University Press New York 2000

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

  • Título:
    Logic in computer science modelling and reasoning about systems
  • Autor: Michael Huth 1962-
  • Mark Ryan 1962-
  • Assuntos: Computer logic; LÓGICA MATEMÁTICA
  • Notas: Includes bibliographical references (p. 375-377).
  • Notas Locais: Reprinted 2001 (with corrections), 2002 (twice, first with corrections)
  • Editor: Cambridge, England Cambridge University Press New York
  • Data de criação/publicação: 2000
  • Formato: xviii, 387 p. ill. 25 cm..
  • Idioma: Inglês
Links
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.