Desenvolvimento sistemático de programas corretos : a abordagem denotacional
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Lengua: | portugués |
| Datos de publicación: |
Campinas :
UNICAMP,
1988
|
| Edición: | 1a ed. |
| Series: | Colección EBAI
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Libro editado para la VI Escuela de Computación, realizada en la Universidad Estatal de Campinas, Brasil, del 7 al 15 de julio de 1988. |
| Descripción Física: | xv, 385 p. ; 23 cm. |