Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings /

Bibliographic Details
Corporate Author: International Static Analysis Symposium Seoul, Korea
Other Authors: Yi, Kwangkeun
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4134.
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ia 4500
001 in00002201743
005 20190326182341.0
008 060907s2006 gw a b 101 0 eng d
010 |a  2006931004 
020 |a 3540377565 (pbk.) 
020 |a 9783540377566 (pbk.) 
024 3 |a 9783540377566 
029 1 |a YDXCP  |b 2471941 
035 |a (OCoLC)ocm71320214 
040 |a ERL  |c ERL  |d CUS  |d BAKER  |d YDXCP  |d DLC  |d C$Q  |d TXA  |d UtOrBLW 
049 |a TXAM 
050 0 0 |a QA76.6  |b .I5733 2006 
082 0 0 |a 005.1  |2 22 
111 2 |a International Static Analysis Symposium  |n (13th :  |d 2006 :  |c Seoul, Korea) 
245 1 0 |a Static analysis :  |b 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings /  |c Kwangkeun Yi (ed.). 
246 3 0 |a SAS 2006 
264 1 |a Berlin ;  |a New York :  |b Springer,  |c [2006] 
264 4 |c ©2006 
300 |a xiii, 442 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4134 
504 |a Includes bibliographical references and index. 
530 |a Also issued online. 
650 0 |a Computer programming  |v Congresses. 
650 0 |a Programming languages (Electronic computers)  |v Congresses. 
700 1 |a Yi, Kwangkeun. 
830 0 |a Lecture notes in computer science.  |x 0302-9743 ;  |v 4134. 
856 4 1 |u http://proxy.library.tamu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4134  |z Connect to the full text of this electronic book  |t 0 
994 |a C0  |b TXA 
948 |a cataloged  |b h  |c 2006/12/21  |d c  |e blrosas  |f 11:19:58 am 
999 |a MARS 
999 f f |s 6bf2cf28-0133-3251-8ce1-36cead30a5f3  |i 4531e46a-7402-3937-a509-e99f46d63375  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.6 .I5733 2006  |h Library of Congress classification  |i unmediated -- volume  |m A14835117295 
998 f f |a QA76.6 .I5733 2006  |t 0  |l Remote Storage