|
|
|
|
| LEADER |
01413nas a2200325 a 4500 |
| 001 |
c000165635 |
| 003 |
CARM |
| 005 |
20021022120338.0 |
| 008 |
971124c19949999gw ar 1 0eng d |
| 019 |
1 |
|
|a 24154930
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)38000634
|5 LACONCORD2021
|
| 040 |
|
|
|a COD
|b eng
|c COD
|d OCL
|d VU
|
| 111 |
2 |
|
|a International Static Analysis Symposium.
|
| 245 |
1 |
0 |
|a Static analysis :
|b ... International Static Analysis Symposium, SAS ... : proceedings.
|
| 246 |
1 |
8 |
|a Static analysis symposium
|f 1994.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1994-
|
| 300 |
|
|
|a v. :
|b ill. ;
|c 24 cm.
|
| 310 |
|
|
|a Annual.
|
| 362 |
0 |
|
|a 1st (Sept. 28-30, 1994)-
|
| 440 |
|
0 |
|a Lecture notes in computer science.
|
| 500 |
|
|
|a Subtitle varies slightly.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Programming
|v Congresses.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|v Congresses.
|
| 852 |
8 |
|
|b CARM
|h A2:AN21D0
|i C05988
|p 0214923
|f SE
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05663
|p 0251127
|f SE
|
| 866 |
|
0 |
|a 1st(1994)-3rd(1996)
|
| 866 |
|
|
|a 1st(1994)-3rd(1996)
|
| 999 |
f |
f |
|i 6adc1e18-1c41-5447-a0bb-c48bc696e3e5
|s 1511c030-cd16-5807-a519-dd9571be7150
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05663
|f A2:AL21B0
|h Other scheme
|i book
|k 3rd(1996)
|m 0251127
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05988
|f A2:AN21D0
|h Other scheme
|i book
|k 1st(1994)-2nd(1995)
|m 0214923
|