|
|
|
|
| LEADER |
01451cas a2200373 a 4500 |
| 001 |
c000183723 |
| 003 |
CARM |
| 005 |
20050607152227.0 |
| 008 |
921125d198u1994enkar 1 0eng |
| 010 |
|
|
|a 92642562
|
| 019 |
1 |
|
|a 9766228
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)27029295
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d NST
|d DLC
|d MCM
|d DLC
|d MiU
|d OCoLC
|d LC
|
| 042 |
|
|
|a lc
|
| 050 |
0 |
0 |
|a QA76.73.Z2
|b Z2a
|
| 082 |
0 |
0 |
|a 005.1/2
|2 20
|
| 111 |
2 |
|
|a Z User Workshop.
|
| 245 |
1 |
0 |
|a Z User Workshop :
|b proceedings of the ... Annual Z User Meeting.
|
| 246 |
3 |
0 |
|a Proceedings of the ... Annual Z User Meeting
|
| 260 |
|
|
|a London ;
|a New York :
|b Springer Verlag,
|c -c1994.
|
| 300 |
|
|
|a v. ;
|c 25 cm.
|
| 310 |
|
|
|a Annual
|
| 362 |
0 |
|
|a -8th (1994).
|
| 440 |
|
0 |
|a Workshops in computing
|
| 500 |
|
|
|a Description based on: 4th (15 Dec. 1989).
|
| 550 |
|
|
|a Published in collaboration with the British Computer Society.
|
| 650 |
|
0 |
|a Z (Computer program language)
|v Congresses.
|
| 710 |
2 |
|
|a British Computer Society.
|
| 785 |
0 |
0 |
|a International Conference of Z Users.
|t ZUM ... the Z formal specification notation
|w (DLC) 97658017
|w (OCoLC)34304854
|
| 852 |
8 |
|
|b CARM
|h A2:AK33B0
|i B05482
|p 0255998
|f SE
|
| 866 |
|
0 |
|a 7th (1992)
|
| 866 |
|
0 |
|a 7th (1992)
|
| 999 |
f |
f |
|i b4ebffa8-a92d-51d7-bf8a-2dab3ac86042
|s fcc01cc3-1b28-5df1-bb8e-c5edfa82bc3a
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05482
|f A2:AK33B0
|h Other scheme
|i book
|k 7(1992)
|m 0255998
|