| LDR | 00963nam a2200265 a 4500 | ||
| 001 | 002907034 | ||
| 003 | MiAaHDL | ||
| 005 | 20210817000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 950119s1995 enka b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a94021071 |
| 020 | ⊔ | ⊔ | ‡a0077090527 |
| 035 | ⊔ | ⊔ | ‡a(MiU)990029070340106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990029070340106381 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)30663794 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph002907034 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC ‡dEYM |
| 050 | 0 | 0 | ‡aQA76.758 ‡b.H45 1995 |
| 082 | 0 | 0 | ‡a005.1/4 ‡220 |
| 100 | 1 | ⊔ | ‡aHe, Jifeng, ‡d1943- |
| 245 | 1 | 0 | ‡aProvably correct systems : ‡bmodelling of communication languages and design of optimized compilers / ‡cHe Jifeng. |
| 260 | ⊔ | ⊔ | ‡aLondon ; ‡aNew York : ‡bMcGraw-Hill, ‡cc1995. |
| 300 | ⊔ | ⊔ | ‡axii, 175 p. : ‡bill. ; ‡c26 cm. |
| 490 | 0 | ⊔ | ‡aMcGraw-Hill international series in software engineering |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographical references (p. 170-173) and index. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aCompilers (Computer programs) |
| 650 | ⊔ | 0 | ‡aProgramming languages (Electronic computers) |
| 650 | ⊔ | 0 | ‡aSoftware engineering. |
| CID | ⊔ | ⊔ | ‡a002907034 |
| DAT | 0 | ⊔ | ‡a19950119000000.0 ‡b20210817000000.0 |
| DAT | 1 | ⊔ | ‡a20210912090708.0 ‡b2024-10-03T17:49:27Z |
| DAT | 2 | ⊔ | ‡a2024-10-03T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990029070340106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015017436240 ‡sMIU ‡1990029070340106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20241003 ‡sgoogle ‡umdp.39015017436240 ‡y1995 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |