000 02461cam a22005894a 4500
001 ocn168590905
006 m d
007 crmn ---mucun|
008 070703s2007 gw a ob 101 0 eng c
040 _aCOO
_beng
_cCOO
_dGZM
_dSTF
_dGW5XE
_dNUI
_dYNG
_dE7B
_dUBC
_dOCLCQ
016 7 _a984911014
_2DE-101
019 _a184984960
_a261068080
_a288223386
_a607345141
_a646764858
020 _a9783540740605 (pbk.)
020 _a3540740600 (pbk.)
020 _a9783540740612
020 _a3540740619
020 _a6611353399
020 _a9786611353391
029 1 _aNZ1
_b11511921
029 1 _aAU@
_b000043252908
029 1 _aAU@
_b000042438408
029 1 _aAU@
_b000042841516
029 1 _aNZ1
_b13704964
029 1 _aHEBIS
_b192085034
035 _a(OCoLC)168590905
_z(OCoLC)184984960
_z(OCoLC)261068080
_z(OCoLC)288223386
_z(OCoLC)607345141
_z(OCoLC)646764858
042 _apcc
050 4 _aQA76.6
_b.I5733 2007
072 7 _aQA
_2lcco
049 _aTEXA
090 4 _aQA76.6
_b.I5733 2007
111 2 _aInternational Static Analysis Symposium
_n(14th :
_d2007 :
_cLyngby, Denmark)
245 1 0 _aStatic analysis :
_b14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /
_cHanne Riis Nielson, Gilberto Filé (eds.).
246 3 0 _aSAS 2007
260 _aBerlin ;
_aNew York :
_bSpringer,
_cc2007.
300 _a1 online resource (xi, 467 p.) :
_bill.
490 0 _aSpringer
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v4634
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and index.
650 0 _aComputer programming
_vCongresses.
650 0 _aProgramming languages (Electronic computers)
_vCongresses.
700 1 _aNielson, Hanne Riis,
_d1954-
700 1 _aFilé, Gilberto,
_d1951-
776 0 8 _iPrint version:
_aInternational Static Analysis Symposium (14th : 2007 : Lyngby, Denmark).
_tStatic analysis.
_dBerlin ; New York : Springer, c2007
_z9783540740605
_z3540740600
_w(DLC) 2007932181
_w(OCoLC)166214358
830 0 _aLecture notes in computer science ;
_v4634.
_x0302-9743
830 0 _aLNCS sublibrary.
_nSL 2,
_pProgramming and software engineering.
856 4 0 _uhttp://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74061-2
_yClick here to view this ebook.
901 _aSpringer
942 _cEBOOK
999 _c676860
_d681285