Verificaçao e introduçao de programas /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Portugués |
| Publicado: |
Campinas :
Unicamp,
1986
|
| Colección: | EBAI I
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00615nam a2200217 4500 | ||
|---|---|---|---|
| 001 | 001343 | ||
| 003 | arbauncb | ||
| 008 | 150325s1986 bl g 000 0 por d | ||
| 005 | 20171017110648.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Verificaçao e introduçao de programas / |c Paulo A. S. Veloso. |
| 260 | |a Campinas : |b Unicamp, |c 1986 | ||
| 440 | 0 | |a EBAI I | |
| 300 | |a 211 p. |c 23 cm. | ||
| 100 | 1 | |a Veloso, Paulo A. S | |
| 082 | 0 | 4 | |a 001.64 |
| 653 | |a Construccion formal | ||
| 650 | 7 | |a Computación |2 mpirdes | |
| 650 | 7 | |a Verificación |2 unescot | |
| 650 | 7 | |a Programación de computadoras |2 unescot | |
| 999 | |c 1280 |d 1280 | ||