Tools

LEADER 02467cam 22005414a 4500

001 ssj0000320189;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 070703s2007 gw a sb 101 0 eng d;

010 a| 2007932181;

016 7 a| 9849110142| GyFmDB;

020 a| 9783540740605 (pbk.);

020 a| 3540740600 (pbk.);

035 a| (WaSeSS)ssj0000320189;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.6b| .I5733 2007;

072 7 a| QA2| lcco;

082 00 a| 005.132| 22;

111 2 a| International Static Analysis Symposiumn| (14th :d| 2007 :c| Lyngby, Denmark)?| UNAUTHORIZED;

245 10 a| Static analysish| [electronic resource] :b| 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /c| Hanne Riis Nielson, Gilberto Filé (eds.).;

246 30 a| SAS 2007;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xi, 467 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 4634;

440 0 a| LNCS sublibrary.n| SL 2,p| Programming and software engineering;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Programming languages (Electronic computers)v| Congresses.=| ^A34404;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Nielson, Hanne Riis,d| 1954-=| ^A300237;

700 1 a| Filé, Gilberto,d| 1951-=| ^A441768;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-74060-5;

947 a| (OCoLC)ocn166214358;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4285303;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4285303-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4285303-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/4/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4285303-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.).

Author/creator	International Static Analysis Symposium
Other author	Nielson, Hanne Riis, 1954-
Other author	Filé, Gilberto, 1951-
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xi, 467 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer programming--Congresses. Programming languages (Electronic computers)--Congresses.

Portion of title	SAS 2007
Series	Lecture notes in computer science, 0302-9743 ; 4634 LNCS sublibrary. SL 2, Programming and software engineering
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007932181
ISBN	9783540740605 (pbk.)
ISBN	3540740600 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.).

Click here for more information about this title

Availability