Tools

LEADER 02071cam 2200505Ia 4500

001 ocm61430243;

003 OCoLC;

005 20141211183717.0;

007 cr un- ;

008 050902s2005 gw 101 0 eng d;

010 a| 2005931559;

016 7 a| 9759422632| GyFmDB;

020 a| 3540285849 (pbk.);

020 a| 9783540285847;

035 a| (Sirsi) o61430243;

035 a| (OCoLC)61430243;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.6b| .I5733 2005;

111 2 a| International Static Analysis Symposiumn| (12th :d| 2005 :c| London, England)?| UNAUTHORIZED;

245 10 a| Static analysis :b| 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /c| Chris Hankin, Igor Siveroni (eds.).;

246 30 a| SAS 2005;

300 a| x, 367 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| 3672,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

650 0 a| Porgramming languages (Electronic computers)v| Congresses.?| UNAUTHORIZED;

700 1 a| Hankin, Chris.=| ^A363215;

700 1 a| Siveroni, Igor.=| ^A607470;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3672z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050101668c| 55.64 EUR;

938 a| Baker & Taylorb| BKTYc| 72.00d| 72.00i| 3540285849n| 0006556813s| active;

980 a| 2005-10-19b| 72d| 0e| 68.4f| 691227;

596 a| 1;

998 a| 1014748;

999 a| QA76.6 .I5733 2005w| LCc| 1i| 30372013475204d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $68.40r| Ys| Yt| JGESBKu| 10/26/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.).

Author/creator	International Static Analysis Symposium
Other author	Hankin, Chris.
Other author	Siveroni, Igor.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2005.
Description	x, 367 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer programming--Congresses. Porgramming languages (Electronic computers)--Congresses.

Portion of title	SAS 2005
Series	Lecture notes in computer science ; 3672, 0302-9743 ; Lecture notes in computer science 3672. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005931559
ISBN	3540285849 (pbk.)
ISBN	9783540285847

Availability

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

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.).

Click here for more information about this title

Availability