LDR | |
01118nam a2200325 a 4500 |
001 |
|
002812396 |
003 |
|
MiAaHDL |
005 |
|
20221205000000.0 |
006 |
|
m d |
007 |
|
cr bn ---auaua |
008 |
|
940603s1994 enka b 010 0 eng d |
010 |
⊔ |
⊔ |
‡agb 94013283
|
015 |
⊔ |
⊔ |
‡aGB94-13283
|
020 |
⊔ |
⊔ |
‡a0132948443 :
|
035 |
⊔ |
⊔ |
‡a(MiU)990028123960106381
|
035 |
⊔ |
⊔ |
‡asdr-miu.990028123960106381
|
035 |
⊔ |
⊔ |
‡z(MiU)MIU01000000000000002812396-goog
|
035 |
⊔ |
⊔ |
‡a(OCoLC)30033323
|
035 |
⊔ |
⊔ |
‡z(MiU)Aleph002812396
|
040 |
⊔ |
⊔ |
‡aUKM
‡cUKM
‡dDGU
‡dEYM
|
082 |
0 |
4 |
‡a004
‡220
|
090 |
⊔ |
⊔ |
‡aQA76
‡b.A23 1994
|
245 |
0 |
2 |
‡aA Classical mind :
‡bessays in honour of C.A.R. Hoare /
‡cedited by A.W. Roscoe.
|
260 |
⊔ |
⊔ |
‡aNew York :
‡bPrentice Hall,
‡c1994.
|
300 |
⊔ |
⊔ |
‡axii, 451 p. :
‡bill. ;
‡c25 cm.
|
490 |
0 |
⊔ |
‡aPrentice-Hall international series in computer science
|
504 |
⊔ |
⊔ |
‡aIncludes bibliographical references.
|
538 |
⊔ |
⊔ |
‡aMode of access: Internet.
|
650 |
⊔ |
0 |
‡aProgramming languages (Electronic computers)
|
650 |
⊔ |
0 |
‡aElectronic data processing.
|
650 |
⊔ |
0 |
‡aComputers.
|
700 |
1 |
⊔ |
‡aHoare, C. A. R.
‡q(Charles Antony Richard),
‡d1934-
|
700 |
1 |
⊔ |
‡aRoscoe, A. W.
|
899 |
⊔ |
⊔ |
‡a39015032907944
|
CID |
⊔ |
⊔ |
‡a002812396
|
DAT |
0 |
⊔ |
‡a19940603000000.0
‡b20221205000000.0
|
DAT |
1 |
⊔ |
‡a20221206110740.0
‡b2023-06-17T17:52:27Z
|
CAT |
⊔ |
⊔ |
‡aSDR-MIU
‡cmiu
‡dALMA
‡lprepare.pl-004-008
|
FMT |
⊔ |
⊔ |
‡aBK
|
HOL |
⊔ |
⊔ |
‡0sdr-miu.990028123960106381
‡aMiU
‡bSDR
‡cMIU
‡f002812396
‡pmdp.39015032907944
‡sMIU
‡1990028123960106381
|
974 |
⊔ |
⊔ |
‡bMIU
‡cMIU
‡d20230617
‡sgoogle
‡umdp.39015032907944
‡y1994
‡ric
‡qbib
‡tnon-US bib date1 >= 1929
|