Tools

LEADER 01924cam 22004814a 4500

001 ocm47183588;

003 OCoLC;

005 20141212160435.0;

007 cr un---------;

008 010620s2001 gw a b 101 0 eng ;

010 a| 2001042862;

015 a| GBA1-43663;

019 a| 47727506;

020 a| 3540423141 (pbk. : alk. paper);

035 a| (Sirsi) o47183588;

035 a| (OCoLC)47183588;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.12| 21;

111 2 a| International Static Analysis Symposiumn| (8th :d| 2001 :c| Paris, france)?| UNAUTHORIZED;

245 10 a| Static analysis :b| 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /c| Patrick Cousot (ed.).;

300 a| xi, 436 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2126;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

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

700 1 a| Cousot, Patrick,d| 1948-=| ^A349906;

830 0 a| Lecture notes in computer sciencev| 2126.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2126.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har015021077c| 102.00 DEM;

980 a| 2001-10-17b| 69d| 4.26e| 65.55f| 912474;

596 a| 1;

998 a| 856255;

999 a| QA76.6 .I5733 2001w| LCc| 1i| 30372011219323d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $65.55r| Ys| Yt| JGESBKu| 11/1/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).

Author/creator	International Static Analysis Symposium
Other author	Cousot, Patrick, 1948-
Format	Electronic
Publication Info	Berlin : New York : Springer, ©2001.
Description	xi, 436 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer programming--Congresses. Programming languages (Electronic computers)--Congresses.

Series	Lecture notes in computer science ; 2126 Lecture notes in computer science 2126. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2001042862
ISBN	3540423141 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6 .I5733 2001	✔ Available	Place Hold

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).

Click here for more information about this title

Availability