|
|
|
|
| LEADER |
01241cam a2200349 a 4500 |
| 001 |
c000379450 |
| 003 |
CARM |
| 005 |
20110111173213.0 |
| 008 |
110111s1991 enka 001 0 eng d |
| 015 |
|
|
|a b9136480
|
| 019 |
1 |
|
|a 8120191
|z 44001819
|5 LACONCORD2021
|
| 020 |
|
|
|a 0333544080 (pbk.)
|
| 035 |
|
|
|a (OCoLC)315897803
|5 LACONCORD2021
|
| 040 |
|
|
|a BNB
|b eng
|c BNB
|d AUC
|
| 050 |
|
4 |
|a QA76.73.Z2
|b .L53 1993
|
| 050 |
1 |
4 |
|a QA76.73
|b .Z2 L53 1991
|
| 082 |
0 |
4 |
|a 005.133
|2 20
|
| 100 |
1 |
|
|a Lightfoot, David,
|d 1951-
|
| 245 |
1 |
0 |
|a Formal specification using Z /
|c David Lightfoot.
|
| 260 |
|
|
|a Basingstoke :
|b Macmillan,
|c 1991.
|
| 300 |
|
|
|a xi, 164 p. :
|b ill. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Macmillan computer science series
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Z (Computer program language)
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 653 |
0 |
|
|a Programming languages
|
| 653 |
|
|
|a Programming languages
|
| 852 |
8 |
|
|b CARM
|p 0462322
|f BK
|
| 852 |
8 |
|
|b SCAN
|h A3:AE22B0
|i B07616
|p 0462322
|f BK
|
| 999 |
f |
f |
|i 06ef8a79-66f8-5f49-9d3d-a0988d1fdd81
|s 1c0d97e9-2d22-51fd-b9b5-4c7d3a26faf9
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|i book
|m 0462322
|
| 952 |
f |
f |
|a CAVAL
|b CAVAL
|c CAVAL
|d Unmapped Location
|e B07616
|f A3:AE22B0
|h Other scheme
|