MARC details
000 -LEADER |
fixed length control field |
01213nam a22003017a 4500 |
001 - CONTROL NUMBER |
control field |
sulbI000013 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
BD-SySUS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20160524173248.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
160524s2000 nyu a|||b|||| 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540677703 |
|
International Standard Book Number |
3540677704 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)ocm71247056 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
OL$ |
Transcribing agency |
OL$ |
Modifying agency |
BAKER |
-- |
NDD |
-- |
C$Q |
-- |
IXA |
-- |
YDXCP |
-- |
BTCTA |
-- |
LVB |
-- |
BD-SySUS |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.24 |
Edition number |
22 |
Item number |
COM |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
CAV (Conference) |
Number of part/section/meeting |
(18th : |
Date of meeting |
2006 : |
Location of meeting |
Seattle, Wash.) |
9 (RLIN) |
25599 |
245 10 - TITLE STATEMENT |
Title |
Computer aided verification : |
Remainder of title |
12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / |
Statement of responsibility, etc. |
Editors:E. Allen Emerson, A. Prasad Sistla |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc. |
New York : |
Name of publisher, distributor, etc. |
Springer, |
Date of publication, distribution, etc. |
c2000. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 582p. : |
Other physical details |
ill. ; |
Dimensions |
24 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Also issued online. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer software |
General subdivision |
Verification |
Form subdivision |
Congresses. |
9 (RLIN) |
25600 |
|
Topical term or geographic name as entry element |
Integrated circuits |
General subdivision |
Verification |
Form subdivision |
Congresses. |
9 (RLIN) |
25601 |
|
Topical term or geographic name as entry element |
Circuits int�egr�es |
General subdivision |
V�erification |
Form subdivision |
Congr�es. |
9 (RLIN) |
25602 |
|
Topical term or geographic name as entry element |
Logiciels |
General subdivision |
V�erification |
Form subdivision |
Congr�es. |
9 (RLIN) |
25603 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Emerson, E. Allen, |
9 (RLIN) |
24230 |
|
Personal name |
Sistla, A. Prasad |
9 (RLIN) |
24232 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Dewey Decimal Classification |
Koha item type |
Books |