| 000 | 00663nam a2200229 a 4500 | ||
|---|---|---|---|
| 999 |
_c9857 _d9857 |
||
| 003 | AR-sfUTN | ||
| 008 | 170717b ||||| |||| 00| 0 d | ||
| 040 | _cAR-sfUTN | ||
| 041 | _apor | ||
| 080 |
_a681.32 AL25 _22000 |
||
| 100 | 1 |
_aAlencar, Paulo S.C. de _931474 |
|
| 245 | 1 | 0 |
_aMétodos formais para o desenvolvimento de programas / _cPaulo S.C. de Alencar. |
| 260 |
_aSantiago del Estero: _bKapelusz, _c1989 |
||
| 300 | _a175 p. | ||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _asin mediación _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 490 | _aEbai | ||
| 500 | _aBibliografía: Pág. 175 | ||
| 942 |
_cBK _2udc |
||