Desenvolvimento sistemático de programas corretos : a abordagem denotacional /
Guardado en:
| Autor Principal: | Martins, Raul César Baptista. |
|---|---|
| Autor Corporativo: | Escola de Computação |
| Otros Autores: | Moura, Arnaldo Vieira. |
| Formato: | Libro |
| Idioma: | Portuguese |
| Publicado: |
Campinas :
[UNICAMP],
1988.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Métodos formais para o desenvolvimento de programas /
por: Alencar, Paulo S. C. de.
Publicado: (1988) -
Educaçao e desenvolvimento no Brasil /
por: Moreira, J. Roberto.
Publicado: (1960) -
Industrializaçao e desenvolvimento social no brasil /
por: Ianni, Octavio
Publicado: (1963) -
Estado, desenvolvimento e políticas públicas /
Publicado: (2008) -
Ensaios sobre café e desenvolvimento economico /
Publicado: (1973)
