Tools

LEADER 01636cam 2200397 a 4500

001 ocm31132319;

003 OCoLC;

005 20141212114813.0;

008 940825s1994 gw a b 101 0 eng ;

010 a| 94035446;

020 a| 3540584854 (acid-free);

020 a| 0387584854 (New York);

035 a| (Sirsi) o31132319;

035 a| (OCoLC)31132319;

049 a| EREE;

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

082 00 a| 005.13/12| 20;

111 2 a| International Static Analysis Symposiumn| (1st :d| 1994 :c| Namur, Belgium)?| UNAUTHORIZED;

245 10 a| Static analysis :b| First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /c| Baudouin Le Charlier (ed.).;

300 a| xii, 463 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

500 a| Spine title: Static analysis symposium.;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Le Charlier, Baudouin,d| 1950-=| ^A359016;

740 0 a| Static analysis symposium.;

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

596 a| 1;

998 a| 568164;

999 a| QA76.6 .I5733 1994w| LCc| 1i| 30372008765353d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/16/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

Author/creator	International Static Analysis Symposium
Other author	Le Charlier, Baudouin, 1950-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	xii, 463 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Programming languages (Electronic computers)--Congresses.

Series	Lecture notes in computer science ; 864 Lecture notes in computer science 864. ^A466336
General note	Spine title: Static analysis symposium.
Bibliography note	Includes bibliographical references and index.
Other title	Static analysis symposium.
LCCN	94035446
ISBN	3540584854 (acid-free)
ISBN	0387584854 (New York)

Availability

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

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

Click here for more information about this title

Availability