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!
|
| LEADER | 00702nam a22001815a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb004860 | ||
| 008 | 080722s1988####bl#a#####b####000#0#por#d | ||
| 005 | 20170621115618.0 | ||
| 245 | 1 | 0 | |a Desenvolvimento sistemático de programas corretos : |b a abordagem denotacional / |c por Raul César Baptista Martins, Arnaldo Vieira Moura. |
| 260 | |a Campinas : |b [UNICAMP], |c 1988. | ||
| 300 | |a xv, 385 p. : |b il. ; |c 23 cm. | ||
| 500 | |a "VI Escola de Computação". | ||
| 504 | |a Bibliografía: p. 381-385. | ||
| 100 | 1 | |a Martins, Raul César Baptista. | |
| 700 | 1 | |a Moura, Arnaldo Vieira. | |
| 711 | 2 | |a Escola de Computação |n (6a. : |d 1988 : |c Campinas) | |
| 084 | |a 68Q60 |2 msc2000 | ||
| 859 | |h 68 |i M386 |p A-6998 |b BIB. MATEMATICA | ||