|
|
|
|
| LEADER |
01430nas a2200325 a 4500 |
| 001 |
c000165712 |
| 003 |
CARM |
| 005 |
19961011000000.0 |
| 008 |
920204c19899999gw ar r b 1 0eng d |
| 019 |
1 |
|
|a 12750751
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)225653042
|5 LACONCORD2021
|
| 040 |
|
|
|a VLU
|b eng
|c VLU
|
| 082 |
0 |
4 |
|a 004.62
|
| 110 |
2 |
|
|a CAV$eConference.
|
| 245 |
1 |
0 |
|a Computer aided verification :
|b international conference, CAV : proceedings.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1989-.
|
| 362 |
0 |
|
|a 1st(1989)-
|
| 440 |
|
0 |
|a Lecture notes in computer science.
|
| 500 |
|
|
|a Some issues called International Workshop, CAV.
|
| 650 |
|
0 |
|a Computer software
|x Verification
|x Congresses.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Evaluation
|x Congresses.
|
| 852 |
8 |
|
|b CARM
|h A2:AM09F0
|i C05505
|p 0215944
|f SE
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05663
|p 0251126
|f SE
|
| 852 |
8 |
|
|b CARM
|h A2:AM09F0
|i C05508
|p 0213943
|f SE
|
| 866 |
|
0 |
|a 6(1994)-8(1996)
|
| 866 |
|
|
|a 6(1994)-8(1996)
|
| 999 |
f |
f |
|i 85675dd4-68e7-5669-ae68-94bf8eebdbb3
|s 3877a4ab-ace0-595a-819f-7c807c502938
|
| 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 8(1996)
|m 0251126
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05508
|f A2:AM09F0
|h Other scheme
|i book
|k 6(1994)
|m 0213943
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05505
|f A2:AM09F0
|h Other scheme
|i book
|k 7(1995)
|m 0215944
|