Static analysis : (Record no. 682406)

001 - CONTROL NUMBER
control field ocn262681399
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 081017s2005 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Transcribing agency GW5XE
Modifying agency I8H
-- OCLCQ
-- QCL
-- OKU
-- NUI
-- N$T
-- OCLCQ
019 ## -
-- 62079616
-- 288258638
-- 704275327
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540319719
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540319719
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540285849
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540285847
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 6611405496
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9786611405496
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000040731153
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13658318
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262681399
Canceled/invalid control number (OCoLC)62079616
-- (OCoLC)288258638
-- (OCoLC)704275327
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .I5733 2005
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051010
Source bisacsh
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 2005
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Static Analysis Symposium
Number of part/section/meeting (12th :
Date of meeting 2005 :
Location of meeting London, England)
245 10 - TITLE STATEMENT
Title Static analysis :
Remainder of title 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /
Statement of responsibility, etc Chris Hankin, Igor Siveroni (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title SAS 2005
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2005.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 367 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 3672
500 ## - GENERAL NOTE
General note "12th International Static Analysis Symposium ... held ... at Imperial College London"--Pref.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc "This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
588 ## -
-- Description based on print version record.
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 Hankin, Chris.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Siveroni, Igor.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading International Static Analysis Symposium (12th : 2005 : London, England).
Title Static analysis.
Place, publisher, and date of publication Berlin ; New York : Springer, c2005
International Standard Book Number 3540285849
-- 9783540285847
Record control number (DLC) 2005931559
-- (OCoLC)61430243
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3672.
-- 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/11547662">http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/11547662</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 2005 ocn262681399 2012-01-25 http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/11547662 2012-01-25 Electronic Book