| 000 | 00856nam a22002770004500 | ||
|---|---|---|---|
| 001 | 33332 | ||
| 010 |
_b(Ecadernado) _d3230$ |
||
| 090 | _a33332 | ||
| 100 | _a19970929d1980 k y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aGB | ||
| 200 | 1 |
_aMathematical theory of progam correctness _fJaco de Bakker, Arie de Bruin, Jeffery Zucker |
|
| 205 | _a1ª ed | ||
| 210 |
_aLondon _cPrentice-Hall International _dcop. 1980 |
||
| 215 |
_a16, 505, p. _d24 cm |
||
| 225 | 2 | _aSeries in computer science) | |
| 606 |
_934105 _aLógica |
||
| 606 |
_935125 _aMatemática |
||
| 606 |
_930335 _aInformática |
||
| 606 |
_932889 _aLinguagem |
||
| 606 |
_99835 _aCálculo |
||
| 700 | 1 |
_984722 _aBakker, _bJaco de |
|
| 701 | 1 |
_996741 _aBruin, _bArie de |
|
| 701 | 1 |
_9235671 _aZucker, _bJeffery Ian, _f1942- |
|
| 942 |
_n0 _cMON |
||
| 999 |
_a29874 _c2021-07-08 _bUNL-FCSH - GLOBAL _dUNLFCSH2015040208252030906 |
||