| 000 | 00862cam a22002774a 4500 | ||
|---|---|---|---|
| 999 |
_c35211 _d35211 |
||
| 001 | 4815763 | ||
| 003 | AR-RgUNPA | ||
| 005 | 20240710121551.0 | ||
| 008 | 100724s1990 maua b 101 0 eng | ||
| 010 | _a 89000102 | ||
| 020 | _a0201172372 | ||
| 040 |
_aSIUNPA _cSIUPA _deng |
||
| 050 | 0 | 0 |
_aQA76.6 _b.F657 1990 |
| 080 | _a004.42 F723f | ||
| 245 | 0 | 0 |
_aFormal development of programs and proofs / _cedited by Edsger W. Dijkstra |
| 260 |
_a Reading, Mass. _bAddison-Wesley, _cc1990 |
||
| 300 |
_axiv, 242 p. : _bil. |
||
| 490 | _a(The UT year of programming series) | ||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | _aINFORMATICA | |
| 650 | 0 | _aPROGRAMACION DE COMPUTADORA | |
| 650 | 0 | _a ALGORITMOS | |
| 700 | 1 |
_aDijkstra, Edsger Wybe _eeditor |
|
| 830 |
_9865 _aThe UT year of programming series (Addison-Wesley) |
||
| 942 |
_2udc _cBK |
||