Métodos formais para o desenvolvimento de programas /
Guardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Portuguese |
| Publicado: |
Buenos Aires :
Kapelusz,
[1988]
|
| Edición: | [Ed. preliminar]. |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00915nam a22002175a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb004885 | ||
| 008 | 080725s1988####ag#######b####000#0#por#d | ||
| 005 | 20170505160122.0 | ||
| 245 | 1 | 0 | |a Métodos formais para o desenvolvimento de programas / |c Paulo S. C. de Alencar e Carlos J. P. de Lucena. |
| 250 | |a [Ed. preliminar]. | ||
| 260 | |a Buenos Aires : |b Kapelusz, |c [1988] | ||
| 300 | |a x, 175 p. ; |c 23 cm. | ||
| 500 | |a "Versão preliminar publicada na IV Escola Brasileiro-Argentina de Informática, Santiago del Estero, Janeiro de 1989". | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 020 | |a 9501398781 | ||
| 100 | 1 | |a Alencar, Paulo S. C. de. | |
| 700 | 1 | |a Lucena, Carlos J. P. de. | |
| 711 | 2 | |a Escola Brasileiro-Argentina de Informática |n (4ª : |d 1989 : |c Termas de Río Hondo) | |
| 084 | |a 68Q60 |2 msc2000 | ||
| 859 | |h 68 |i Al368 |p A-6189 |b BIB. MATEMATICA | ||
| 859 | |h 68 |i Al368 |p A-6190 |t Ej. 2 |b BIB. MATEMATICA | ||