| 000 | 00676nam a2200241 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702155937.0 | ||
| 008 | 260701s1988 ag |||||||||||||||||por | ||
| 020 | _a950-13-9878-1 | ||
| 041 | 0 | _apor | |
| 100 | 1 |
_aAlencar, Paulo S. C. _9205354 |
|
| 700 | 1 |
_aLucena, Carlos J. P. _9205355 |
|
| 245 | 1 | 0 | _aMétodos formais para o desenvolvimento de programas |
| 264 | 1 |
_aBuenos Aires _bEscola Brasileiro-Argentina de Informatica; Kapelusz _c1988 |
|
| 300 | _a175 páginas | ||
| 650 | 4 |
_aInformatica _9274 |
|
| 650 | 4 |
_aSemantica _96603 |
|
| 650 | 4 |
_aFloyd _9205356 |
|
| 650 | 4 |
_aVdm _9205357 |
|
| 942 | _cLIB | ||
| 035 | _a(EXA)19360 | ||
| 001 | 271816 | ||
| 999 |
_c271816 _d271816 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||