Static analysis : (Record no. 676860)

001 - CONTROL NUMBER
control field ocn168590905
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
additional material characteristics m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field crmn ---mucun|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070703s2007 gw a ob 101 0 eng c
040 ## - CATALOGING SOURCE
Original cataloging agency COO
Language of cataloging eng
Transcribing agency COO
Modifying agency GZM
-- STF
-- GW5XE
-- NUI
-- YNG
-- E7B
-- UBC
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 984911014
Source DE-101
019 ## -
-- 184984960
-- 261068080
-- 288223386
-- 607345141
-- 646764858
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540740605 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540740600 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540740612
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540740619
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 6611353399
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9786611353391
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11511921
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000043252908
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042438408
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042841516
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13704964
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192085034
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)168590905
Canceled/invalid control number (OCoLC)184984960
-- (OCoLC)261068080
-- (OCoLC)288223386
-- (OCoLC)607345141
-- (OCoLC)646764858
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .I5733 2007
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
049 ## - LOCAL HOLDINGS (OCLC)
Holding library TEXA
090 #4 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.6
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .I5733 2007
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Static Analysis Symposium
Number of part/section/meeting (14th :
Date of meeting 2007 :
Location of meeting Lyngby, Denmark)
245 10 - TITLE STATEMENT
Title Static analysis :
Remainder of title 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /
Statement of responsibility, etc Hanne Riis Nielson, Gilberto Filé (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title SAS 2007
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2007.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xi, 467 p.) :
Other physical details ill.
490 0# - SERIES STATEMENT
Series statement Springer
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 4634
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
Form subdivision Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nielson, Hanne Riis,
Dates associated with a name 1954-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Filé, Gilberto,
Dates associated with a name 1951-
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark).
Title Static analysis.
Place, publisher, and date of publication Berlin ; New York : Springer, c2007
International Standard Book Number 9783540740605
-- 3540740600
Record control number (DLC) 2007932181
-- (OCoLC)166214358
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4634.
-- 0302-9743
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 2,
Name of part/section of a work Programming and software engineering.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2">http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2</a>
Link text Click here to view this ebook.
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Platform Springer
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book
Holdings
Withdrawn status Lost item Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
          UT Tyler Online UT Tyler Online Online 2006-05-09 2006C00338 QA76.6 .I5733 2007 ocn168590905 2012-01-24 http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2 2012-01-24 Electronic Book