| 000 | 00788npm a2200277uu 4500 | ||
|---|---|---|---|
| 001 | 000013260 | ||
| 003 | OSt | ||
| 005 | 20241128164745.0 | ||
| 008 | 971208s1989 xx ||||gr |0|| 0 por d | ||
| 020 | _a950-13-9878-1 | ||
| 040 |
_aIbict _bpor |
||
| 044 |
_abl _cbr |
||
| 080 | _a004.4'2 | ||
| 090 |
_a _b |
||
| 100 | 1 |
_aAlencar, Paulo S. C. de _915118 |
|
| 245 | 1 | 0 | _aMetodos formais para desenvolvimento de programas |
| 264 |
_aSantiago Del Estero : _bKapelusz, _c1989 |
||
| 300 | _a175 p. | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmidiated _bn _2rdmedia _3book |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 650 | 4 |
_aprogramacao _915119 |
|
| 700 | 1 |
_aLucina, Carlos J. P. de _915120 |
|
| 942 | _c7 | ||
| 998 |
_a19971208 _b _c |
||
| 999 |
_aConvertido do Formato PHL _bPHL2MARC21 1.1 _c25112 _d25112 |
||