Desenvolvimento sistemático de programas corretos : a abordagem denotacional /
Guardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Portuguese |
| Publicado: |
Campinas :
[UNICAMP],
1988.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| descripción de la copia: | "VI Escola de Computação". |
|---|---|
| Descripción Física: | xv, 385 p. : il. ; 23 cm. |
| Bibliografía: | Bibliografía: p. 381-385. |