skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Construccion formal de programas a partir de especificaciones en un calculo de relaciones binarias extendido

Juan E. Duran Gabriel A Baum

Rio de Janeiro Puc-RJ 1993

Localização: IME - Inst. Matemática e Estatística    (S M751 1993 v.5 )(Acessar)

  • Título:
    Construccion formal de programas a partir de especificaciones en un calculo de relaciones binarias extendido
  • Autor: Juan E. Duran
  • Gabriel A Baum
  • Assuntos: CIÊNCIA DA COMPUTAÇÃO
  • Editor: Rio de Janeiro Puc-RJ
  • Data de criação/publicação: 1993
  • Formato: 90 p.
  • Idioma: Espanhol
Links
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.