| 000 | 00593nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702155938.0 | ||
| 008 | 260701s1986 bl |||||||||||||||||por | ||
| 041 | 0 | _apor | |
| 100 | 1 |
_aVeloso, Paulo a. S. _9203826 |
|
| 245 | 1 | 0 | _aVerificacao e construcao de programas |
| 264 | 1 |
_aCampinas _bEscola Brasileiro-Argentina de Informatica _c1986 |
|
| 300 | _a211 páginas | ||
| 650 | 4 |
_aInformatica _9274 |
|
| 650 | 4 |
_aProgramas _98726 |
|
| 650 | 4 |
_aVerificacion _957204 |
|
| 650 | 4 |
_aConstruccion Ligera _9115422 |
|
| 942 | _cLIB | ||
| 035 | _a(EXA)19377 | ||
| 001 | 271830 | ||
| 999 |
_c271830 _d271830 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||