Tools

LEADER 01786cam 22004574a 4500

001 ocm42421378;

003 OCoLC;

005 20141212140957.0;

008 990812s1999 gw a b 101 0 eng ;

010 a| 99044587;

015 a| GB99-70273;

019 a| 42699996;

020 a| 3540664599 (softcover : alk. paper);

035 a| (Sirsi) o42421378;

035 a| (OCoLC)42421378;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.13/12| 21;

111 2 a| International Static Analysis Symposiumn| (6th :d| 1999 :c| Venice, Italy)?| UNAUTHORIZED;

245 10 a| Static analysis :b| 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /c| Agostino Cortesi, Gilberto Filé (eds.).;

246 18 a| SAS'99 Static analysis;

300 a| viii, 356 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| 1694;

504 a| Includes bibliographical references and index.;

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

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

650 0 a| System analysisv| Congresses.=| ^A51061;

700 1 a| Cortesi, Agostino,d| 1963-=| ^A441767;

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

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

910 a| PromptCat;

980 a| 2000-02-23b| 62d| 3.12e| 52.08f| 156865;

596 a| 1;

998 a| 714582;

999 a| QA76.6 .I5733 1999w| LCc| 1i| 30372010700471d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $52.08r| Ys| Yt| JGESBKu| 3/3/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.).

Author/creator	International Static Analysis Symposium
Other author	Cortesi, Agostino, 1963-
Other author	Filé, Gilberto, 1951-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	viii, 356 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Programming languages (Electronic computers)--Congresses. System analysis--Congresses.

Spine title	SAS'99 Static analysis
Series	Lecture notes in computer science ; 1694 Lecture notes in computer science 1694. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	99044587
ISBN	3540664599 (softcover : alk. paper)

Availability

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

Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.).

Click here for more information about this title

Availability