|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
2734801 |
| 003 |
ICU |
| 005 |
20030524145600.0 |
| 008 |
970721s1997 gw a b 101 0 fre d |
| 010 |
|
|
|a gb 97048967
|
| 015 |
|
|
|a GB97-48967
|
| 020 |
|
|
|a 3540631666
|
| 035 |
|
|
|a (OCoLC)37330233
|
| 040 |
|
|
|a CUY
|c CUY
|d UKM
|d OCoLC
|
| 049 |
|
|
|a CGUA
|
| 082 |
0 |
4 |
|a 004.24015113
|2 21
|
| 090 |
|
|
|a QA76.76.V47
|b C38 1997
|
| 111 |
2 |
|
|a CAV (Conference)
|n (9th :
|d 1997 :
|c Haifa, Israel)
|
| 245 |
1 |
0 |
|a Computer aided verification :
|b 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
|c Orna Grumberg (ed.).
|
| 246 |
3 |
|
|a CAV'97
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1997.
|
| 300 |
|
|
|a xi, 486 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Lecture notes in computer science
|v 1254
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Computer software
|x Verification
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2009121254
|
| 650 |
|
0 |
|a Integrated circuits
|x Verification
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008123906
|
| 650 |
|
0 |
|a Electronic digital computers
|x Evaluation
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008102943
|
| 650 |
|
7 |
|a Computer software
|x Verification.
|2 fast
|0 http://id.worldcat.org/fast/fst00872604
|
| 650 |
|
7 |
|a Electronic digital computers
|x Evaluation.
|2 fast
|0 http://id.worldcat.org/fast/fst00907149
|
| 650 |
|
7 |
|a Integrated circuits
|x Verification.
|2 fast
|0 http://id.worldcat.org/fast/fst00975600
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
| 700 |
1 |
|
|a Grumberg, Orna.
|0 http://id.loc.gov/authorities/names/nb97057888
|1 http://viaf.org/viaf/85195028
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i cd1f975d-2535-57cc-80d7-08344bd3cb76
|s 9d33c0be-f434-5bda-8522-953650694430
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.76.V47C38 1997
|l ASR
|c ASR-SciASR
|i 3243462
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.76.V47C38 1997
|l ASR
|c ASR-SciASR
|e CRERAR
|b 46612933
|i 4971370
|
