| 000 | 00738n a2200253#a 4500 | ||
|---|---|---|---|
| 001 | 16758 | ||
| 003 | P5A | ||
| 005 | 20240404163450.0 | ||
| 008 | 980602s1988 bl 000 0 por d | ||
| 035 | _aocm39214371 | ||
| 040 |
_aP5A _bpor _cP5A |
||
| 049 | _aP5AA | ||
| 082 |
_a005.133 _bM386d |
||
| 090 | _ama12 | ||
| 100 | 1 |
_aMartins, R. C. B. _920988 |
|
| 245 | 1 | 0 |
_aDesenvolvimento sistemático de programas corretos: _ba abordagem denotacional/ _cR. C. B. Martins. |
| 250 | _a[1st ed.] | ||
| 260 |
_aCampinas: _bUnicamp, _c1988. |
||
| 300 | _a385 p. | ||
| 697 |
_aMatemática Aplicada 12- _xInformática. _923759 |
||
| 700 | 1 |
_aMoura, Arnaldo V., _d1950- _934036 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c17392 _d17392 |
||
| 490 | 0 |
_aEscola de computação; _v6. _920372 |
|