| LDR | 00836nam a2200253 a 4500 | ||
| 001 | 003974107 | ||
| 003 | MiAaHDL | ||
| 005 | 20210817000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 980727s1998 enk b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a98010608 |
| 020 | ⊔ | ⊔ | ‡a0134587618 ‡q(alk. paper) |
| 035 | ⊔ | ⊔ | ‡a(MiU)990039741070106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990039741070106381 |
| 035 | ⊔ | ⊔ | ‡a(III)iiio31151401 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)38199961 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph003974107 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC ‡dEYM ‡dMiU |
| 050 | 0 | 0 | ‡aQA76.6. ‡b.H5735 1998 |
| 082 | 0 | 0 | ‡a005.1/01 ‡221 |
| 100 | 1 | ⊔ | ‡aHoare, C. A. R. ‡q(Charles Antony Richard), ‡d1934- |
| 245 | 1 | 0 | ‡aUnifying theories of programming / ‡cC.A.R. Hoare and He Jifeng. |
| 260 | ⊔ | ⊔ | ‡aLondon ; ‡aNew York : ‡bPrentice Hall, ‡cc1998. |
| 300 | ⊔ | ⊔ | ‡axix, 298 p. ; ‡c24 cm. |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographical references and index. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aComputer programming. |
| 700 | 1 | ⊔ | ‡aHe, Jifeng, ‡d1943- |
| CID | ⊔ | ⊔ | ‡a003974107 |
| DAT | 0 | ⊔ | ‡a20040210000000.0 ‡b20210817000000.0 |
| DAT | 1 | ⊔ | ‡a20210909090722.0 ‡b2023-07-20T18:00:18Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990039741070106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015047062917 ‡sMIU ‡1990039741070106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20230720 ‡sgoogle ‡umdp.39015047062917 ‡y1998 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |